Daniel R. Licata

According to our database1, Daniel R. Licata authored at least 29 papers between 2003 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Recurrence extraction for functional programs through call-by-push-value.
Proc. ACM Program. Lang., 2020

Denotational recurrence extraction for amortized analysis.
Proc. ACM Program. Lang., 2020

Call-by-name Gradual Type Theory.
Log. Methods Comput. Sci., 2020

Denotational semantics as a foundation for cost recurrence extraction for functional languages.
CoRR, 2020

A Constructive Model of Directed Univalence in Bicubical Sets.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019
Gradual type theory.
Proc. ACM Program. Lang., 2019

Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).
CoRR, 2019

2018
Gradual Type Theory (Extended Version).
CoRR, 2018

Internal Universes in Models of Homotopy Type Theory.
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017
A Fibrational Framework for Substructural and Modal Logics.
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016
Homotopical patch theory.
J. Funct. Program., 2016

A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Adjoint Logic with a 2-Category of Modes.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015
A Cubical Approach to Synthetic Homotopy Theory.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Denotational cost semantics for functional languages with inductive types.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Eilenberg-MacLane spaces in homotopy type theory.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013
Calculating the Fundamental Group of the Circle in Homotopy Type Theory.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

π n (S n ) in Homotopy Type Theory.
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012
Canonicity for 2-dimensional type theory.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011
2-Dimensional Directed Type Theory.
Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

2010
A Monadic Formalization of ML5
Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010

Security-typed programming within dependently typed programming.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
A Pronominal Approach to Binding and Computation.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Positively dependent types.
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

A universe of binding and computation.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Focusing on Binding and Computation.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007
Mechanizing metatheory in a logical framework.
J. Funct. Program., 2007

2004
Verifying Interactive Web Programs.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003
The Feature Signatures of Evolving Programs.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003


  Loading...