Martin Elsman
Professor
- Udgivet
Data-parallel flattening by expansion
Elsman, Martin, Henriksen, Troels & Serup, N. G. W., 8 jun. 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (red.). Association for Computing Machinery, s. 14-24Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Typed Regions for Tag-Free Garbage Collection
Elsman, Martin, 2002Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
An Optimizing Backend for the ML Kit Using a Stack of Regions
Elsman, Martin & Hallenberg, N., jun. 1995Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Hosting a Standard ML Compiler in a Web Browser
Elsman, Martin, 2011, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients. ACM PressPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Type-Specialized Serialization with Sharing
Elsman, Martin, 1 feb. 2004Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Program Modules, Separate Compilation, and Intermodule Optimisation
Elsman, Martin, 1 jan. 1999Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning
- Udgivet
Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces
Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (red.). Springer, s. 184-199 16 s. (Lecture notes in computer science, Bind 8324).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Polymorphism and Unification of Cyclic Terms: Note on unification of terms
Elsman, Martin, jul. 1999Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
Elsman, Martin, 1 jun. 2007Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
SMLserver—A Functional Approach to Web Publishing
Elsman, Martin, Hallenberg, N. & Varming, C., 2002, IT-Universitetet i København. 174 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
ID: 38272928
Flest downloads
-
36
downloads
A Functional Approach to Accelerating Monte Carlo based American Option Pricing
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
24
downloads
Combinatory Adjoints and Differentiation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
16
downloads
Parallelism in a Region Inference Context
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet