Daniel R. Licata
According to our database^{1},
Daniel R. Licata
authored at least 29 papers
between 2003 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
Log. Methods Comput. Sci., 2020
Denotational semantics as a foundation for cost recurrence extraction for functional languages.
CoRR, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2019
Proc. ACM Program. Lang., 2019
Recurrence Extraction for Functional Programs through CallbyPushValue (Extended Version).
CoRR, 2019
2018
CoRR, 2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
2016
J. Funct. Program., 2016
A Mechanization of the BlakersMassey Connectivity Theorem in Homotopy Type Theory.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2016
2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015
2014
Proceedings of the Joint Meeting of the TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Certified Programs and Proofs  Third International Conference, 2013
2012
Proceedings of the 39th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the Twentyseventh Conference on the Mathematical Foundations of Programming Semantics, 2011
2010
Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2010
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
2009
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
2008
Proceedings of the TwentyThird Annual IEEE Symposium on Logic in Computer Science, 2008
2007
J. Funct. Program., 2007
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003