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
DBLP: Syme:Don
Contributed to:
20142011
2010
2007
2004
20012001
20112016Wrote 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.
- ISMM-2010-PetricekS
- 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.