Polymorphic Equality - No Tags Required. - Martin Elsman (Types in Compilation, 1998)

Program modules, separate compilation, and intermodule optimisation. - Martin Elsman (1999)

Static Interpretation of Modules. - Martin Elsman (ICFP, 1999)

Combining Region Inference and Garbage Collection. - Niels Hallenberg; Martin Elsman; Mads Tofte (PLDI, 2002)

Web Programming with SMLserver. - Martin Elsman; Niels Hallenberg (PADL, 2003)

Garbage collection safety for region-based memory management. - Martin Elsman (TLDI, 2003)

Typing XHTML Web Applications in ML. - Martin Elsman; Ken Friis Larsen (PADL, 2004)

A Retrospective on Region-Based Memory Management. - Mads Tofte; Lars Birkedal; Martin Elsman; Niels Hallenberg (High. Order Symb. Comput., 2004)

Type-specialized serialization with sharing. - Martin Elsman (Trends in Functional Programming, 2005)

Size slicing: a hybrid approach to size inference in futhark. - Troels Henriksen; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2014)

Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. - Martin Elsman; Anders Schack-Nielsen (PADL, 2014)

Compiling a Subset of APL Into a Typed Intermediate Language. - Martin Elsman; Martin Dybdal (ARRAY@PLDI, 2014)

Certified symbolic management of financial multi-party contracts. - Patrick Bahr; Jost Berthold; Martin Elsman (ICFP, 2015)

Compiling APL to accelerate through a typed array intermediate language. - Michael Budde; Martin Dybdal; Martin Elsman (ARRAY@PLDI, 2015)

Low-level functional GPU programming for parallel algorithms. - Martin Dybdal; Martin Elsman; Bo Joel Svensson; Mary Sheeran (FHPC@ICFP, 2016)

APL on GPUs: a TAIL from the past, scribbled in Futhark. - Troels Henriksen; Martin Dybdal; Henrik Urms; Anna Sofie Kiehn; Daniel Gavin; Hjalte Abelskov; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2016)

FinPar: A Parallel Financial Benchmark. - Christian Andreetta; Vivien Bégot; Jost Berthold; Martin Elsman; Fritz Henglein; Troels Henriksen; Maj-Britt Nordfang; Cosmin E. Oancea (ACM Trans. Archit. Code Optim., 2016)

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. - Troels Henriksen; Niels G. W. Serup; Martin Elsman; Fritz Henglein; Cosmin E. Oancea (PLDI, 2017)

Automated Execution of Financial Contracts on Blockchains. - Benjamin Egelund-Müller; Martin Elsman; Fritz Henglein; Omri Ross (Bus. Inf. Syst. Eng., 2017)

Modular acceleration: tricky cases of functional high-performance computing. - Troels Henriksen; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2018)

Certified Compilation of Financial Contracts. - Danil Annenkov; Martin Elsman (PPDP, 2018)

High-Performance Defunctionalisation in Futhark. - Anders Kiel Hovgaard; Troels Henriksen; Martin Elsman (TFP, 2018)

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. - Martin Elsman; Troels Henriksen; Danil Annenkov; Cosmin E. Oancea (Proc. ACM Program. Lang., 2018)

Compositional deep learning in Futhark. - Duc Minh Tran; Troels Henriksen; Martin Elsman (FHPNC@ICFP, 2019)

A functional approach to accelerating Monte Carlo based american option pricing. - Wojciech Michal Pawlak; Martin Elsman; Cosmin Eugen Oancea (IFL, 2019)

Data-parallel flattening by expansion. - Martin Elsman; Troels Henriksen; Niels Gustav Westphal Serup (ARRAY@PLDI, 2019)

Incremental flattening for nested data parallelism. - Troels Henriksen; Frederik Thorøe; Martin Elsman; Cosmin E. Oancea (PPoPP, 2019)

On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. - Martin Elsman; Niels Hallenberg (PADL, 2020)

Towards size-dependent types for array programming. - Troels Henriksen; Martin Elsman (ARRAY@PLDI, 2021)

Integrating region memory management and tag-free generational garbage collection. - Martin Elsman; Niels Hallenberg (J. Funct. Program., 2021)

Combinatory Adjoints and Differentiation. - Martin Elsman; Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen; Robert Schenck 001 (MSFP@ETAPS, 2022)

Shape-Constrained Array Programming with Size-Dependent Types. - Lubin Bailly; Troels Henriksen; Martin Elsman (FHPNC, 2023)

Garbage-Collection Safety for Region-Based Type-Polymorphic Programs. - Martin Elsman (Proc. ACM Program. Lang., 2023)

Parallelism in a Region Inference Context. - Martin Elsman; Troels Henriksen (Proc. ACM Program. Lang., 2023)

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. - Robert Schenck 001; Nikolaj Hey Hinnerskov; Troels Henriksen; Magnus Madsen; Martin Elsman (Proc. ACM Program. Lang., 2024)

Double-Ended Bit-Stealing for Algebraic Data Types. - Martin Elsman (Proc. ACM Program. Lang., 2024)

Explicit Effects and Effect Constraints in ReML. - Martin Elsman (Proc. ACM Program. Lang., 2024)

Gate Fusion Is Map Fusion. - Martin Elsman; Troels Henriksen (ARRAY@PLDI, 2025)