Martin Elsman
Professor
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
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
BDNF-Based Matching of Bigraphs
Glenstrup, A. J., Damgaard, T. C., Birkedal, L. & Elsman, Martin, 1 okt. 2006Publikation: 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
- Udgivet
Compositional deep learning in Futhark
Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 aug. 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (red.). Association for Computing Machinery, s. 47-59Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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
Polymorphism and Unification of Cyclic Terms: Note on unification of terms
Elsman, Martin, jul. 1999Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Typing XHTML Web Applications in SMLserver
Elsman, Martin & Larsen, K. F., 1 okt. 2003Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- Udgivet
Typed Regions for Tag-Free Garbage Collection
Elsman, Martin, 2002Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
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
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