Encoding types in ML-like languages (original) (raw)
Related papers
A type system with usage aspects
Journal of Functional Programming, 2008
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
Electronic Notes in Theoretical Computer Science, 1998
Typecase: A design pattern for type-indexed functions
2005
Generative type abstraction and type-level computation
ACM SIGPLAN Notices, 2011
Polymorphic typing of an algorithmic language
Higher-order type-level programming in Haskell
Proceedings of the ACM on Programming Languages, 2019
The hierarchical development of a generic type mechanism for functional languages
Computer Languages, 1990
Electronic Notes in Theoretical Computer Science, 1998
A Type System for Context-dependent Overloading
Electronic Notes in Theoretical Computer Science, 1998
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
Higher-order intensional type analysis in type erasure semantics
2002
Types, Data Abstraction, and Polymorphism
Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference
2006
An effective theory of type refinements
ACM SIGPLAN Notices, 2003
Modular typechecking for hierarchically extensible datatypes and functions
ACM Transactions on Programming Languages and Systems, 2004
Introduction to generalized type systems
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Lecture Notes in Computer Science, 2008
Ferruccio Guidi, Andrea Asperti
2012
Typed compilation of recursive datatypes
ACM SIGPLAN Notices, 2003
The Key monad: type-safe unconstrained dynamic typing
Proceedings of the 9th International Symposium on Haskell, 2016
Unified type system for the modern general-purpose programing language
2022
Extensible encoding of type hierarchies
ACM SIGPLAN Notices, 2008
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
A framework for implementing pluggable type systems
ACM SIGPLAN Notices, 2006
Adding Polymorphic Abstraction to ML (Detailed Abstract)
1994
A simple type-theoretic language: Mini-TT
Essays in Honour of Gilles Kahn, 2009
Journal of Functional Programming, 2009
2002
Polymorphic type inference and assignment
A generic type-and-effect system
2009
Hidden Type Variables and Conditional Extension for More Expressive Generic Programs
2007
Typing first-class continuations in ML
Journal of Functional Programming, 1993
A purely functional language with encapsulated assignment
Lecture Notes in Computer Science, 1994