Guarded Computational Type Theory-Reference-Cited by-同舟云学术

Guarded Computational Type Theory

Published:2018-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Sterling Jonathan¹,Harper Robert¹

Affiliation:

1. Computer Science Department, Carnegie Mellon University

Funder

Air Force Office of Scientific Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3209108.3209153

Reference36 articles.

1. Normalization by evaluation for sized dependent types

2. Innovations in computational type theory using Nuprl

3. Stuart Frazier Allen. 1987. A non-type-theoretic semantics for type-theoretic language. Ph.D. Dissertation. Cornell University Ithaca NY USA. Stuart Frazier Allen. 1987. A non-type-theoretic semantics for type-theoretic language. Ph.D. Dissertation. Cornell University Ithaca NY USA.

4. A very modal model of a modern, major, general type system

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Algebraic Effects Meet Hoare Logic in Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05

2. The Essence of Generalized Algebraic Data Types;Proceedings of the ACM on Programming Languages;2024-01-05

3. A totally predictable outcome: an investigation of traversals of infinite structures;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06

4. Syntax and models of Cartesian cubical type theory;Mathematical Structures in Computer Science;2021-04

5. Higher order functions and Brouwer’s thesis;Journal of Functional Programming;2021