Don Syme
发表
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Don Syme,
Gregory Neverov,
James Margetson,
2007,
ICFP '07.
Andrew Kennedy,
Don Syme,
2004
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2012
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Don Syme,
Don Syme,
1993,
HUG.
Don Syme,
Tomas Petricek,
T. Petříček,
2014,
PADL.
Kenji Takeda,
Jack Hu,
Don Syme,
2012
.
Don Syme,
2005
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Don Syme,
Tomas Petricek,
2011,
PADL.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Andrew D. Gordon,
Don Syme,
2002,
LPAR.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2007
.
Don Syme,
Don Syme,
1999,
Formal Syntax and Semantics of Java.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Don Syme,
2006,
Electron. Notes Theor. Comput. Sci..
Antonio Cisternino,
Don Syme,
Adam Granicz,
2012
.
Don Syme,
Don Syme,
1999,
TPHOLs.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2007
.
Don Syme,
Graham Collins,
1995,
TPHOLs.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2007
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Don Syme,
David Ungar,
Ricardo Lopez,
2010,
SPLASH 2010.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Don Syme,
Alan Mycroft,
Tomas Petricek,
2012
.
Don Syme,
Tomas Petricek,
Keith Battocchi,
2014,
2014 IEEE Conference on Computational Intelligence for Financial Engineering & Economics (CIFEr).
Alan F. Blackwell,
Don Syme,
Advait Sarkar,
2016,
CHI.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2012
.
Don Syme,
Alan Mycroft,
Tomas Petricek,
2011,
Haskell.
Don Syme,
Don Syme,
2010,
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2012
.
Don Syme,
Tomas Petricek,
Zach Bray,
2014,
ML/OCaml.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
R. Nigel Horspool,
Nikolai Tillmann,
Jonathan de Halleux,
2011,
SAICSIT '11.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Don Syme,
Don Syme,
1995,
TPHOLs.
Don Syme,
Tomas Petricek,
Gustavo Guerra,
2017
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Andrew Kennedy,
Don Syme,
A. Kennedy,
2004
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Ralf Hinze,
Don Syme,
R. Hinze,
2008,
ICFP-WGP.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2007
.
Don Syme,
Tomas Petricek,
Dmitry Lomov,
2011,
PADL.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015,
Apress.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2012
.
Don Syme,
Don Syme,
2020,
Proc. ACM Program. Lang..
Don Syme,
Don Syme,
2006,
ML '06.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Andrew D. Gordon,
Don Syme,
Don Syme,
2001,
POPL '01.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Andrew Kennedy,
Don Syme,
A. Kennedy,
2001,
PLDI '01.
Don Syme,
2005
.
Andrew D. Gordon,
Don Syme,
Don Syme,
2000
.
Don Syme,
2001,
Electron. Notes Theor. Comput. Sci..
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2010
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Don Syme,
Tomas Petricek,
T. Petříček,
2010,
ISMM '10.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Kenji Takeda,
Don Syme,
Tomas Petricek,
2013,
DDFP '13.
Don Syme,
Gregory Neverov,
James Margetson,
2007
.
Don Syme,
2015,
FCRC '15.
Dachuan Yu,
Andrew Kennedy,
Don Syme,
2004,
POPL.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2015
.
Andrew Kennedy,
Don Syme,
2004,
Concurr. Pract. Exp..
Antonio Cisternino,
Don Syme,
Adam Granicz,
2012,
Apress.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2007
.
Antonio Cisternino,
Don Syme,
Adam Granicz,
2007
.
Don Syme,
Tomas Petricek,
Gustavo Guerra,
2016,
PLDI.
Don Syme,
Tomáš Petříček,
2007
.