Martin Elsman
Professor
- 1994
A Portable Standard ML Implementation
Elsman, Martin, 1 aug. 1994Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- 1995
An Optimizing Backend for the ML Kit Using a Stack of Regions
Elsman, Martin & Hallenberg, N., jun. 1995Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- 1997
Separate Compilation and Cut-off Incremental Recompilation: Note on implementing separate compilation and cut-off incremental recompilation in the TIL Standard ML compiler
Elsman, Martin, 1997Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- 1998
Optimising Typed Programs: Note on optimising intermediate language programs in the MLKit compiler
Elsman, Martin, jan. 1998Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Polymorphic Equality-No Tags Required
Elsman, Martin, 1 mar. 1998, Proceedings of the Second International Workshop on Types in Compilation. Springer Science+Business MediaPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Programming with Regions in the ML Kit (for Version 3)
Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H., Sestoft, P. & Bertelsen, P., 1 dec. 1998Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
- 1999
Carillon-A System to Find Y2K Problems in C Programs
Elsman, Martin, Foster, J. S. & Aiken, A., 1 jul. 1999Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Polymorphism and Unification of Cyclic Terms: Note on unification of terms
Elsman, Martin, jul. 1999Publikation: 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
Static Interpretation of Modules
Elsman, Martin, 1 sep. 1999, Procedings of Fourth International Conference on Functional Programming (ICFP'99). ACM Press, s. 208-219 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2002
A Region-Based Abstract Machine for the ML Kit
Elsman, Martin & Hallenberg, N., 1 aug. 2002Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
SMLserver-A Functional Approach to Web Publishing
Elsman, Martin & Hallenberg, N., 1 feb. 2002Publikation: Bog/antologi/afhandling/rapport › Bog › 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
- Udgivet
Typed Regions for Tag-Free Garbage Collection
Elsman, Martin, 2002Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Combining Region Inference and Garbage Collection
Hallenberg, N., Elsman, Martin & Tofte, M., 1 jun. 2002, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02). ACM PressPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2003
Garbage Collection Safety for Region-based Memory Management
Elsman, Martin, 1 jan. 2003, Proceedings of ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'03). ACM PressPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Typing XHTML Web Applications in SMLserver
Elsman, Martin & Larsen, K. F., 1 okt. 2003Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Web Programming with SMLserver
Elsman, Martin & Hallenberg, N., 1 jan. 2003, Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03). Springer Science+Business MediaPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2004
Type-Specialized Serialization with Sharing
Elsman, Martin, 1 feb. 2004Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Typing XHTML Web Applications in ML
Elsman, Martin & Larsen, K. F., 1 jun. 2004, International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer Science+Business MediaPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
A Retrospective on Region-Based Memory Management
Tofte, M., Birkedal, L., Elsman, Martin & Hallenberg, N., 2004, I: Higher-Order and Symbolic Computation. 17, 3, s. 245-265 21 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2005
Type-Specialized Serialization with Sharing
Elsman, Martin, 1 sep. 2005, Sixth Symposium on Trends in Functional Programming (TFP'05).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2006
Efficient Online User Tracking: Note on using unification for efficient online user tracking
Elsman, Martin, 2006Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
User Authorization for a Hierarchical Account System: Note on implementing an authorization procedure for a hierarchical account system
Elsman, Martin, 2006Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
BDNF-Based Matching of Bigraphs
Glenstrup, A. J., Damgaard, T. C., Birkedal, L. & Elsman, Martin, 1 okt. 2006Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
ID: 38272928
Flest downloads
-
35
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 -
23
downloads
Combinatory Adjoints and Differentiation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
15
downloads
Parallelism in a Region Inference Context
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet