Daniel R. Licata
发表
Shriram Krishnamurthi,
Daniel R. Licata,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Daniel R. Licata,
Max S. New,
2018,
FSCD.
Daniel Spoonhower,
Karl Crary,
Robert Harper,
2006
.
Daniel R. Licata,
Max S. New,
Amal Ahmed,
2018,
ArXiv.
Daniel R. Licata,
Michael Shulman,
Mitchell Riley,
2017,
FSCD.
Robert Harper,
Daniel R. Licata,
2009,
ICFP.
Robert Harper,
Daniel R. Licata,
R. Harper,
2011,
MFPS.
Robert Harper,
Daniel R. Licata,
R. Harper,
2009,
PLPV '09.
Shriram Krishnamurthi,
Daniel R. Licata,
Christopher D. Harris,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Daniel R. Licata,
Matthew Z. Weaver,
2020,
LICS.
Noam Zeilberger,
Robert Harper,
Daniel R. Licata,
2009,
TLCA.
Noam Zeilberger,
Robert Harper,
Daniel R. Licata,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Gilles Dowek,
Daniel R. Licata,
Sandra Alves,
2016,
LFMTP.
Daniel R. Licata,
Jamie Morgenstern,
Jamie Morgenstern,
2010,
ICFP '10.
Robert Harper,
Daniel R. Licata,
R. Harper,
2007,
Journal of Functional Programming.
Daniel R. Licata,
Guillaume Brunerie,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Daniel R. Licata,
Norman Danner,
2020,
ArXiv.
Daniel R. Licata,
Norman Danner,
Joseph W. Cutler,
2020,
Proc. ACM Program. Lang..
Robert Harper,
Daniel R. Licata,
2010,
LFMTP.
Peter LeFanu Lumsdaine,
Daniel R. Licata,
Kuen-Bang Hou,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Daniel R. Licata,
Guillaume Brunerie,
2013,
CPP.
Daniel R. Licata,
Max S. New,
2020,
Log. Methods Comput. Sci..
Daniel R. Licata,
Norman Danner,
G. A. Kavvos,
2020,
Proc. ACM Program. Lang..
Robert Harper,
Daniel R. Licata,
R. Harper,
2008
.
Daniel R. Licata,
2006
.
Daniel R. Licata,
Michael Shulman,
2016,
LFCS.
Robert Harper,
Daniel R. Licata,
2012,
POPL '12.
Robert Harper,
Daniel R. Licata,
R. Harper,
2007
.
Robert Harper,
Daniel R. Licata,
Carlo Angiuli,
2014,
ICFP.
Daniel R. Licata,
Norman Danner,
Ramyaa,
2015,
ICFP.
Daniel R. Licata,
Eric Finster,
E. Finster,
2014,
CSL-LICS.
Daniel R. Licata,
Michael Shulman,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Robert Harper,
Daniel R. Licata,
Carlo Angiuli,
2016,
J. Funct. Program..
Bas Spitters,
Andrew M. Pitts,
Daniel R. Licata,
2018,
FSCD.
Daniel R. Licata,
Max S. New,
Amal Ahmed,
2019,
Proc. ACM Program. Lang..
Daniel R. Licata,
Andrew M. Pitts,
Ian Orton,
2018
.
Shriram Krishnamurthi,
Daniel R. Licata,
2004
.
Daniel R. Licata,
R. Harper,
2005
.
Daniel R. Licata,
R. Harper,
2015
.
Daniel R. Licata,
R. Harper,
2010
.
Daniel R. Licata,
2008
.
Bas Spitters,
Andrew M. Pitts,
Daniel R. Licata,
2018,
International Conference on Formal Structures for Computation and Deduction.
Daniel R. Licata,
Ramyaa,
N. Danner,
2015,
ACM SIGPLAN International Conference on Functional Programming.
Daniel R. Licata,
George Nychis,
.
Thierry Coquand,
Robert Harper,
Daniel R. Licata,
2021,
Mathematical Structures in Computer Science.
Thierry Coquand,
Robert Harper,
Daniel R. Licata,
2017
.
Daniel R. Licata,
C. University,
W. University,
2016
.
Daniel R. Licata,
2015
.
Daniel R. Licata,
R. Harper,
2011
.
Daniel R. Licata,
R. Harper,
2010
.
Daniel R. Licata,
2022
.
Daniel R. Licata,
R. Harper,
N. Zeilberger,
2008
.
Daniel R. Licata,
Max S. New,
2022,
ArXiv.
Daniel R. Licata,
N. Danner,
2020,
Journal of Functional Programming.
Daniel R. Licata,
S. Krishnamurthi,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..