Články s príkazom na verejný prístup - Robert HarperĎalšie informácie
Nedostupné nikde: 1
Homotopical patch theory
C Angiuli, E Morehouse, DR Licata, R Harper
Journal of Functional Programming 26, e18, 2016
Príkazy: US National Science Foundation
Dostupné niekde: 22
A higher-order logic for concurrent termination-preserving refinement
J Tassarotti, R Jung, R Harper
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
Príkazy: US Department of Defense, European Commission
Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
C Angiuli, KBF Hou, R Harper
Computer Science Logic 2018, 2018
Príkazy: US National Science Foundation, US Department of Defense, UK Engineering and …
Computational higher-dimensional type theory
C Angiuli, R Harper, T Wilson
ACM SIGPLAN Notices 52 (1), 680-693, 2017
Príkazy: US Department of Defense
A separation logic for concurrent randomized programs
J Tassarotti, R Harper
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
Príkazy: 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
Príkazy: US Department of Defense
Logical relations as types: Proof-relevant parametricity for program modules
J Sterling, R Harper
Journal of the ACM (JACM) 68 (6), 1-47, 2021
Príkazy: US Department of Defense
A cost-aware logical framework
Y Niu, J Sterling, H Grodin, R Harper
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
Príkazy: US National Science Foundation, US Department of Defense
Internal parametricity for cubical type theory
E Cavallo, R Harper
Logical Methods in Computer Science 17, 2021
Príkazy: US Department of Defense
Competitive parallelism: Getting your priorities right
SK Muller, UA Acar, R Harper
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
Príkazy: US National Science Foundation
Responsive parallel computation: Bridging competitive and cooperative threading
SK Muller, UA Acar, R Harper
ACM SIGPLAN Notices 52 (6), 677-692, 2017
Príkazy: US National Science Foundation, European Commission
Verified tail bounds for randomized programs
J Tassarotti, R Harper
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
Príkazy: US Department of Defense
Guarded computational type theory
J Sterling, R Harper
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Príkazy: US Department of Defense
Meaning explanations at higher dimension
C Angiuli, R Harper
Indagationes Mathematicae 29 (1), 135-149, 2018
Príkazy: US Department of Defense
Correctness of compiling polymorphism to dynamic typing
KB Hou, N Benton, R Harper
Journal of Functional Programming 27, e1, 2017
Príkazy: US National Science Foundation
Covering Spaces in Homotopy Type Theory
R Harper
22nd International Conference on Types for Proofs and Programs (TYPES 2016 …, 2018
Príkazy: US National Science Foundation, US Department of Defense
Decalf: A directed, effectful cost-aware logical framework
H Grodin, Y Niu, J Sterling, R Harper
Proceedings of the ACM on Programming Languages 8 (POPL), 273-301, 2024
Príkazy: US National Science Foundation, US Department of Defense
Parallel functional arrays
A Kumar, GE Blelloch, R Harper
ACM SIGPLAN Notices 52 (1), 706-718, 2017
Príkazy: US National Science Foundation, US Department of Defense
A metalanguage for cost-aware denotational semantics
Y Niu, R Harper
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
Príkazy: US National Science Foundation, US Department of Defense
Integrating Cost and Behavior in Type Theory
R Harper, M Colloquium
Computer Science, 2023
Príkazy: US National Science Foundation, US Department of Defense
Informácie o zverejnení a financovaní sú automaticky vyberané počítačovým programom