Travelled to:1 × Canada
1 × France
1 × Germany
3 × USA
Collaborated with:N.Hallenberg A.Schack-Nielsen K.F.Larsen ∅ Danil Annenkov P.Bahr J.Berthold M.Tofte T.Henriksen Niels G. W. Serup F.Henglein C.E.Oancea
Talks about:contract (2) program (2) financi (2) certifi (2) static (2) type (2) web (2) interpret (1) parallel (1) interfac (1)
Person: Martin Elsman
DBLP: Elsman:Martin
Contributed to:
2015
201420042003
200219992017
2018Wrote 8 papers:
- ICFP-2015-BahrBE #contract #multi
- Certified symbolic management of financial multi-party contracts (PB, JB, ME), pp. 315–327.
- PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface
- Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
- PADL-2004-ElsmanL #html #ml #type system #web
- Typing XHTML Web Applications in ML (ME, KFL), pp. 224–238.
- PADL-2003-ElsmanH #programming #web
- Web Programming with SMLserver (ME, NH), pp. 74–91.
- PLDI-2002-HallenbergET #garbage collection
- Combining Region Inference and Garbage Collection (NH, ME, MT), pp. 141–152.
- ICFP-1999-Elsman
- Static Interpretation of Modules (ME), pp. 208–219.
- PLDI-2017-HenriksenSEHO #array #functional #named #parallel
- Futhark: purely functional GPU-programming with nested parallelism and in-place array updates (TH, NGWS, ME, FH, CEO), pp. 556–571.
- PPDP-2018-AnnenkovE #compilation #contract
- Certified Compilation of Financial Contracts (DA, ME), p. 13.