On computing with types (original) (raw)
Related papers
Verifying haskell programs using constructive type theory
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05, 2005
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
2019
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Logical Methods in Computer Science, 2011
Testing Data Types Implementations from Algebraic Specifications
Computing Research Repository, 2008
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Towards open type functions for Haskell
2007
Theoretical Computer Science, 1997
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes
2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009
The type system of a higher-order logic programming language
1992
Higher-order type-level programming in Haskell
Proceedings of the ACM on Programming Languages, 2019
Electronic Notes in Theoretical Computer Science, 1998
Declaration-free type checking
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
UJ: Type Soundness for Universe Types
development, 2007
Type Systems for Computer Algebra
1993
A simple type-theoretic language: Mini-TT
Essays in Honour of Gilles Kahn, 2009
Exploring the Regular Tree Types
Lecture Notes in Computer Science, 2006
1994
Towards Open Type Functions for Haskell—DRAFT—
2007
2015
Binary Tree Arithmetic with Generalized Constructors
arXiv (Cornell University), 2013
Elements of a relational theory of datatypes
Lecture Notes in Computer Science, 1993
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
Ferruccio Guidi, Andrea Asperti
2012
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Journal of Universal Computer Science, 2003
Type Checking Data Structures More Complex than Trees
Journal of Information Processing
arXiv (Cornell University), 2015
Introduction to generalized type systems
A Simple Take on Typed Abstract Syntax in Haskell-like Languages (Extended version)
Some Remarks on Type Systems for Course-of-value Recursion
Electronic Notes in Theoretical Computer Science, 2009
Abstractions in Decision Procedures for Algebraic Data Types
Organizing Numerical Theories Using Axiomatic Type Classes
Journal of Automated Reasoning, 2004
Innovations in computational type theory using Nuprl
Journal of Applied Logic, 2006