Martin Elsman
Title
Cited by
Cited by
Year
Combining region inference and garbage collection
N Hallenberg, M Elsman, M Tofte
ACM SIGPLAN Notices - ACM SIGPLAN 2002 Conference on Programming Language …, 2002
1222002
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
1122017
Automated execution of financial contracts on blockchains
B Egelund-Müller, M Elsman, F Henglein, O Ross
Business & Information Systems Engineering 59 (6), 457-467, 2017
105*2017
A retrospective on region-based memory management
M Tofte, L Birkedal, M Elsman, N Hallenberg
Higher-Order and Symbolic Computation 17 (3), 245-265, 2004
992004
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
72*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
511997
Typing XHTML Web applications in ML
M Elsman, KF Larsen
International Symposium on Practical Aspects of Declarative Languages, 224-238, 2004
452004
Web programming with SMLserver
M Elsman, N Hallenberg
International Symposium on Practical Aspects of Declarative Languages, 74-91, 2003
382003
Certified Symbolic Management of Financial Multi-Party Contracts
P Bahr, J Berthold, M Elsman
ACM SIGPLAN International Conference on Functional Programming (ICFP’15 …, 2015
352015
Static interpretation of modules
M Elsman
ACM SIGPLAN Notices - In 4th ACM SIGPLAN International Conference on …, 1999
321999
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
312019
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
312014
Program Modules, Separate Compilation, and Intermodule Optimisation
M Elsman
Datalogisk Institut, Københavns Universitet, 1999
311999
Compiling a subset of APL into a typed intermediate language
M Elsman, M Dybdal
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers …, 2014
272014
Type-specialized serialization with sharing
M Elsman
Sixth Symposium on Trends in Functional Programming (TFP’05), 47-62, 2005
272005
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
262016
Programming with Regions in the MLKit (Revised for version 4.3.0)
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft
252006
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
222018
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
222016
Polymorphic equality—no tags required
M Elsman
International Workshop on Types in Compilation, 136-155, 1998
211998
The system can't perform the operation now. Try again later.
Articles 1–20