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 × Germany
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:
T.Petricek A.Kennedy T.P.0001 A.D.Gordon D.Lomov G.Neverov J.Margetson D.Yu A.Mycroft Gustavo Guerra
Talks about:
languag (4) program (2) pattern (2) generic (2) runtim (2) extens (2) common (2) match (2) type (2) data (2)

Person: Don Syme


Contributed to:

PADL 20142014
PADL 20112011
ISMM 20102010
ICFP 20072007
POPL 20042004
PLDI 20012001
POPL 20012001
Haskell 20112011
PLDI 20162016

Wrote 10 papers:

PADL-2014-PetricekS #f#
The F# Computation Expression Zoo (TP, DS), pp. 33–48.
PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.
PADL-2011-SymePL #f# #programming
The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.
Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.
ICFP-2007-SymeNM #lightweight #pattern matching
Extensible pattern matching via a lightweight language extension (DS, GN, JM), pp. 29–40.
POPL-2004-YuKS #dot-net #formal method #runtime
Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
PLDI-2001-KennedyS #design #dot-net #implementation #runtime
Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.
POPL-2001-GordonS #multi #type system
Typing a multi-language intermediate code (ADG, DS), pp. 248–260.
Haskell-2011-PetricekMS #monad #pattern matching
Extending monads with pattern matching (TP0, AM, DS), pp. 1–12.
PLDI-2016-PetricekGS #f#
Types from data: making structured data first-class citizens in F# (TP0, GG, DS), pp. 477–490.

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.