BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Elsman:Martin

Contributed to:

ICFP 20152015
PADL 20142014
PADL 20042004
PADL 20032003
PLDI 20022002
ICFP 19991999
PLDI 20172017
PPDP 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.