by HARPER, ROBERT, LICATA, DANIEL R.
Published in Journal of functional programming (01.07.2007)

by DANNER, NORMAN, LICATA, DANIEL R.
Published in Journal of functional programming (01.01.2022)

by NEW, MAX S., LICATA, DANIEL R., AHMED, AMAL
Published in Journal of functional programming (01.01.2021)

by Licata, Daniel R., Brunerie, Guillaume
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)

by Max S. New, Daniel R. Licata
Published in Logical methods in computer science (01.01.2020)

by Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.
Published in Mathematical structures in computer science (01.04.2021)

by ANGIULI, CARLO, MOREHOUSE, EDWARD, LICATA, DANIEL R., HARPER, ROBERT
Published in Journal of functional programming (01.01.2016)

by Licata, Daniel R., Harper, Robert
Published in Electronic proceedings in theoretical computer science (11.09.2010)

by Licata, Daniel R., Shulman, Michael
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)

by Licata, D.R., Krishnamurthi, S.
Published in Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004 (2004)

by Kavvos, G. A., Morehouse, Edward, Licata, Daniel R., Danner, Norman
Published in Proceedings of ACM on programming languages (01.01.2020)

by New, Max S., Giovannini, Eric, Licata, Daniel R.
Published in Proceedings of ACM on programming languages (16.10.2023)

by Cutler, Joseph W., Licata, Daniel R., Danner, Norman
Published in Proceedings of ACM on programming languages (02.08.2020)

by New, Max S., Licata, Daniel R., Ahmed, Amal
Published in Proceedings of ACM on programming languages (01.01.2019)

by Licata, Daniel R., Brunerie, Guillaume
Published in Certified Programs and Proofs (2013)

by Hou (Favonia), Kuen-Bang, Finster, Eric, Licata, Daniel R., Lumsdaine, Peter LeFanu
Published in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)

by Licata, Daniel R., Shulman, Michael
Published in Logical Foundations of Computer Science (2015)

by Danner, Norman, Licata, Daniel R
Published in arXiv.org (20.05.2022)

by Hou Favonia, Kuen-Bang, Finster, Eric, Licata, Daniel R., Lumsdaine, Peter LeFanu
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)

by New, Max S, Licata, Daniel R
Year of Publication 16.10.2022