Follow
Martin Elsman
Title
Cited by
Cited by
Year
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
T Henriksen, NGW Serup, M Elsman, F Henglein, CE Oancea
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
2092017
Automated execution of financial contracts on blockchains
B Egelund-Müller, M Elsman, F Henglein, O Ross
Business & Information Systems Engineering 59, 457-467, 2017
159*2017
Combining region inference and garbage collection
N Hallenberg, M Elsman, M Tofte
ACM SIGPLAN Notices - ACM SIGPLAN 2002 Conference on Programming Language …, 2002
1282002
A retrospective on region-based memory management
M Tofte, L Birkedal, M Elsman, N Hallenberg
Higher-Order and Symbolic Computation 17, 245-265, 2004
1112004
Programming with regions in the ML Kit (for version 4)
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
Technical report, IT University of Copenhagen, 2001
73*2001
Programming with regions in the ML Kit
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
DIKU Rapport 97, 12, 1997
521997
Typing XHTML Web applications in ML
M Elsman, KF Larsen
International Symposium on Practical Aspects of Declarative Languages, 224-238, 2004
472004
Incremental flattening for nested data parallelism
T Henriksen, F Thorøe, M Elsman, C Oancea
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
442019
Certified Symbolic Management of Financial Multi-Party Contracts
P Bahr, J Berthold, M Elsman
ACM SIGPLAN International Conference on Functional Programming (ICFP’15 …, 2015
412015
Web programming with SMLserver
M Elsman, N Hallenberg
International Symposium on Practical Aspects of Declarative Languages, 74-91, 2002
402002
Size slicing: a hybrid approach to size inference in Futhark
T Henriksen, M Elsman, CE Oancea
3rd ACM SIGPLAN workshop on Functional high-performance computing, 31-42, 2014
352014
Finpar: A parallel financial benchmark
C Andreetta, V Bégot, J Berthold, M Elsman, F Henglein, T Henriksen, ...
ACM Transactions on Architecture and Code Optimization (TACO) 13 (2), 1-27, 2016
342016
Static interpretation of modules
M Elsman
ACM SIGPLAN Notices - In 4th ACM SIGPLAN International Conference on …, 1999
331999
Program Modules, Separate Compilation, and Intermodule Optimisation
M Elsman
Datalogisk Institut, Københavns Universitet, 1999
331999
Programming with Regions in the MLKit (Revised for version 4.3.0)
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft
302006
Static interpretation of higher-order modules in Futhark: Functional GPU programming in the large
M Elsman, T Henriksen, D Annenkov, CE Oancea
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
292018
Compiling a subset of APL into a typed intermediate language
M Elsman, M Dybdal
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers …, 2014
292014
Type-specialized serialization with sharing
M Elsman
Sixth Symposium on Trends in Functional Programming (TFP’05), 47-62, 2005
292005
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
T Henriksen, M Dybdal, H Urms, AS Kiehn, D Gavin, H Abelskov, ...
Proceedings of the 5th International Workshop on Functional High-Performance …, 2016
252016
Garbage collection safety for region-based memory management
M Elsman
ACM SIGPLAN Notices - ACM SIGPLAN Workshop on Types in Language Design and …, 2003
252003
The system can't perform the operation now. Try again later.
Articles 1–20