Follow
Dan Licata
Title
Cited by
Cited by
Year
Mechanizing metatheory in a logical framework
R Harper, DR Licata
Journal of functional programming 17 (4-5), 613-673, 2007
1432007
Calculating the fundamental group of the circle in homotopy type theory
DR Licata, M Shulman
2013 28th annual acm/ieee symposium on logic in computer science, 223-232, 2013
922013
Internal universes in models of homotopy type theory
DR Licata, I Orton, AM Pitts, B Spitters
arXiv preprint arXiv:1801.07664, 2018
722018
Higher inductive types in cubical computational type theory
E Cavallo, R Harper
Proceedings of the ACM on Programming Languages 3 (POPL), 1-27, 2019
632019
Denotational cost semantics for functional languages with inductive types
N Danner, DR Licata, R Ramyaa
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
622015
Canonicity for 2-dimensional type theory
DR Licata, R Harper
ACM SIGPLAN Notices 47 (1), 337-348, 2012
612012
Eilenberg-MacLane spaces in homotopy type theory
DR Licata, E Finster
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
602014
Verifying interactive web programs
DR Licata, S Krishnamurthi
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
572004
A universe of binding and computation
DR Licata, R Harper
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
502009
Focusing on binding and computation
DR Licata, N Zeilberger, R Harper
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 241-252, 2008
502008
A cubical approach to synthetic homotopy theory
DR Licata, G Brunerie
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 92-103, 2015
482015
A fibrational framework for substructural and modal logics
DR Licata, M Shulman, M Riley
2nd International Conference on Formal Structures for Computation and …, 2017
472017
2-dimensional directed type theory
DR Licata, R Harper
Electronic Notes in Theoretical Computer Science 276, 263-289, 2011
432011
Security-typed programming within dependently typed programming
J Morgenstern, DR Licata
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
422010
Homotopical patch theory
C Angiuli, E Morehouse, DR Licata, R Harper
ACM SIGPLAN Notices 49 (9), 243-256, 2014
372014
Adjoint logic with a 2-category of modes
DR Licata, M Shulman
International Symposium on Logical Foundations of Computer Science, 219-235, 2016
322016
A formulation of Dependent ML with explicit equality proofs
DR Licata, R Harper
School of Computer Science, Carnegie Mellon University, 2005
322005
πn(Sn) in Homotopy Type Theory
DR Licata, G Brunerie
International Conference on Certified Programs and Proofs, 1-16, 2013
312013
The Feature Signatures of Evolving Programs.
DR Licata, CD Harris, S Krishnamurthi
ASE 3, 281-285, 2003
252003
A constructive model of directed univalence in bicubical sets
MZ Weaver, DR Licata
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
202020
The system can't perform the operation now. Try again later.
Articles 1–20