Martin Elsman
Professor
- 2011
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 PressResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SMLtoJs: Hosting a standard ML compiler in a Web browser
Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2008
A Framework for Cut-Off Incremental Recompilation and Inter-Module Optimization
Elsman, Martin, 1 Apr 2008Research output: Book/Report › Report
- 2007
Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
Elsman, Martin, 1 Jun 2007Research output: Book/Report › Report
- 2006
BDNF-Based Matching of Bigraphs
Glenstrup, A. J., Damgaard, T. C., Birkedal, L. & Elsman, Martin, 1 Oct 2006Research output: Book/Report › Report
Programming with Regions in the MLKit (Revised for Version 4.3.0)
Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H. & Sestoft, P., 1 Jan 2006Research output: Book/Report › Book
- 2005
Type-Specialized Serialization with Sharing
Elsman, Martin, 1 Sep 2005, Sixth Symposium on Trends in Functional Programming (TFP'05).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2004
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 MediaResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 38272928
Most downloads
-
33
downloads
A Functional Approach to Accelerating Monte Carlo based American Option Pricing
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
23
downloads
Combinatory Adjoints and Differentiation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
14
downloads
Parallelism in a Region Inference Context
Research output: Contribution to journal › Journal article › peer-review
Published