S. Lindley
发表
S. Lindley,
2004
.
J. G. Morris,
Ornela Dardha,
Wen Kokke,
2021,
CONCUR.
J. Garrett Morris,
S. Lindley,
2018,
ACM SIGPLAN Notices.
J. Garrett Morris,
S. Lindley,
2017
.
S. Lindley,
R. Atkey,
Daniel Hillerström,
2019
.
James Cheney,
Peter Buneman,
Sam Lindley,
2010
.
J. Cheney,
P. Wadler,
R. Perera,
2017
.
S. Lindley,
J. Longley,
Daniel Hillerström,
2020,
Proc. ACM Program. Lang..
A. Scalas,
S. Lindley,
M. Dezani,
2022
.
S. Lindley,
S. Najd,
Shayan Najd,
2015
.
S. Lindley,
Daniel Hillerström,
2019
.
James Cheney,
Bob Reynders,
Sam Lindley,
2021,
PPDP.
James Cheney,
Sam Lindley,
J. Cheney,
2012
.
James Cheney,
Sam Lindley,
Heiko Müller,
2011,
DBPL 2011.
James Cheney,
Sam Lindley,
Jan Stolarek,
2020
.
J. Garrett Morris,
S. Lindley,
2016
.
J. Yallop,
Ohad Kammar,
S. Lindley,
2022
.
S. Lindley,
2018
.
S. Lindley,
2018
.
S. Lindley,
2008
.
Sam Lindley,
S. Lindley,
Garrett Morris,
2017
.
Conor McBride,
Philip W. Trinder,
Donald Sannella,
2016,
Lecture Notes in Computer Science.
Sam Lindley,
S. Lindley,
2007,
TLCA.
Sam Lindley,
S. Lindley,
2007,
DAMP '07.
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2006,
FMCO.
Ornela Dardha,
J. McKinna,
Michel Steuwer,
2023,
ArXiv.
James Cheney,
Sam Lindley,
Jan Stolarek,
2020,
PLDI.
Sam Lindley,
Daniel Hillerström,
S. Lindley,
2016,
TyDe@ICFP.
Robert Atkey,
Sam Lindley,
Michel Steuwer,
2017,
ArXiv.
Robert Atkey,
Sam Lindley,
Michel Steuwer,
2017
.
Philip Wadler,
Sam Lindley,
Shayan Najd,
2015,
PEPM.
James Cheney,
Philip Wadler,
Sam Lindley,
2022
.
James Cheney,
Philip Wadler,
Sam Lindley,
2013
.
Sam Lindley,
Michel Steuwer,
Christophe Dubach,
2015,
ICFP.
Sam Lindley,
J. Garrett Morris,
Simon Fowler,
2019,
Proc. ACM Program. Lang..
Robert Atkey,
Sam Lindley,
S. Lindley,
2018,
Electronic Proceedings in Theoretical Computer Science.
Sam Lindley,
Daniel Hillerström,
S. Lindley,
2018,
APLAS.
M. Ma,
C. Slayman,
S. Lindley,
2006,
2006 IEEE International Integrated Reliability Workshop Final Report.
Ohad Kammar,
Matija Pretnar,
Sam Lindley,
2016,
Journal of Functional Programming.
Philip Wadler,
Sam Lindley,
Simon Fowler,
2016,
ECOOP.
J. Garrett Morris,
Ornela Dardha,
S. Lindley,
2021
.
Sam Lindley,
J. Garrett Morris,
S. Lindley,
2016,
ICFP.
Philip Wadler,
Fabrizio Montesi,
Carsten Schürmann,
2016,
CONCUR.
Robert Atkey,
Sam Lindley,
J. Garrett Morris,
2016,
A List of Successes That Can Change the World.
Sam Lindley,
J. Garrett Morris,
S. Lindley,
2015,
ESOP.
Sam Lindley,
J. Garrett Morris,
S. Lindley,
2017
.
Sam Lindley,
J. Garrett Morris,
S. Lindley,
2014,
PLACES.
James Cheney,
Philip Wadler,
Sam Lindley,
2013,
PEPM '14.
James Cheney,
Philip Wadler,
Sam Lindley,
2013,
ArXiv.
S. Lindley,
2007,
Workshop on Declarative Aspects of Multicore Programming.
James Cheney,
Simon Fowler,
Sam Lindley,
2019,
Sci. Comput. Program..
Philip Wadler,
Jeremy Yallop,
Sam Lindley,
2008,
APLAS.
J. Yallop,
P. Wadler,
S. Lindley,
2006,
FMCO.
Ornela Dardha,
J. McKinna,
Michel Steuwer,
2023,
Proceedings of the ACM on Programming Languages.
Sam Lindley,
S. Lindley,
2005
.
Daan Leijen,
S. Lindley,
Anton Lorenzen,
2022
.
S. Lindley,
Amal J. Ahmed,
Andreas Rossberg,
2021
.
James Cheney,
Philip Wadler,
Sam Lindley,
2014,
SIGMOD Conference.
James Cheney,
Philip Wadler,
Sam Lindley,
2012
.
Philip Wadler,
Sam Lindley,
Shayan Najd,
2016,
ArXiv.
P. Wadler,
Josef Svenningsson,
S. Lindley,
2015,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation.
Alejandro Russo,
Nachiappan Valliappan,
Sam Lindley,
2021,
Haskell.
P. Wadler,
S. Lindley,
James Cheney,
2013,
ICFP.
James Cheney,
Sam Lindley,
J. Cheney,
2012,
TLDI '12.