受强制性开放获取政策约束的文章 - Dan Licata了解详情
无法在其他位置公开访问的文章：1 篇
Homotopical patch theory
C Angiuli, E Morehouse, DR Licata, R Harper
Journal of Functional Programming 26, e18, 2016
强制性开放获取政策： US National Science Foundation
可在其他位置公开访问的文章：14 篇
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
A fibrational framework for substructural and modal logics
DR Licata, M Shulman, M Riley
2nd International Conference on Formal Structures for Computation and …, 2017
强制性开放获取政策： US Department of Defense
Syntax and models of Cartesian cubical type theory
C Angiuli, G Brunerie, T Coquand, R Harper, KB Hou, DR Licata
Mathematical Structures in Computer Science 31 (4), 424-468, 2021
强制性开放获取政策： US Department of Defense
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
强制性开放获取政策： US Department of Defense
Recurrence extraction for functional programs through call-by-push-value
GA Kavvos, E Morehouse, DR Licata, N Danner
Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Call-by-name gradual type theory
MS New, DR Licata
Logical methods in computer science 16, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
Denotational recurrence extraction for amortized analysis
JW Cutler, DR Licata, N Danner
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory
KB Hou, E Finster, DR Licata, PLF Lumsdaine
Proceedings of the 31st annual ACM/IEEE symposium on logic in computer …, 2016
强制性开放获取政策： US National Science Foundation
Differential Cohesive Type Theory
JA Gross, DR Licata, MS New, J Paykin, M Riley, M Shulman, F Wellen
Extended abstracts for the Workshop” Homotopy Type Theory and Univalent …, 2017
强制性开放获取政策： US National Science Foundation
Gradual Typing for Effect Handlers
MS New, E Giovannini, DR Licata
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1758-1786, 2023
强制性开放获取政策： US National Science Foundation
Denotational semantics as a foundation for cost recurrence extraction for functional languages
N Danner, DR Licata
Journal of Functional Programming 32, e8, 2022
强制性开放获取政策： US National Science Foundation
Gradual Typing for Effect Handlers (Extended Version)
M NEW, E Giovannini, DR Licata
强制性开放获取政策： US National Science Foundation
A fibrational framework for substructural and modal logics (extended version)
DR Licata, M Shulman, M Riley
强制性开放获取政策： US Department of Defense
Internal Universes in Models of Homotopy Type Theory
AM Pitts, D Licata, I Orton, B Spitters
Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2018
强制性开放获取政策： US Department of Defense, Villum Foundation, UK Engineering and Physical …
出版信息和资助信息由计算机程序自动确定