Advanced Type Extensions and Applications in Chameleon (original) (raw)
Related papers
A Framework for Extended Algebraic Data Types
Lecture Notes in Computer Science, 2006
Higher-order type-level programming in Haskell
Proceedings of the ACM on Programming Languages, 2019
Polymorphic typing of an algorithmic language
The hierarchical development of a generic type mechanism for functional languages
Computer Languages, 1990
A Simple Take on Typed Abstract Syntax in Haskell-like Languages (Extended version)
Towards Open Type Functions for Haskell—DRAFT—
2007
Towards open type functions for Haskell
2007
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
Electronic Notes in Theoretical Computer Science, 1998
Electronic Notes in Theoretical Computer Science, 1998
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
The Key monad: type-safe unconstrained dynamic typing
Proceedings of the 9th International Symposium on Haskell, 2016
Generic Haskell: Practice and Theory
2003
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
Journal of Universal Computer Science, 2003
Higher-order intensional type analysis in type erasure semantics
2002
Types Inference for Generic Haskell
A Solution to Haskell's Multi-Parameter Type Class Dilemma
2010
Type Inference for Generic Haskell
Generative type abstraction and type-level computation
ACM SIGPLAN Notices, 2011
Chapter 1. Generic Haskell: Practice and Theory
2003
Types, Data Abstraction, and Polymorphism
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
J. Cretin, Dimitrios Vytiniotis, Brent Yorgey
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12, 2012
Some Remarks on Type Systems for Course-of-value Recursion
Electronic Notes in Theoretical Computer Science, 2009
A simple type-theoretic language: Mini-TT
Essays in Honour of Gilles Kahn, 2009
Ynot: dependent types for imperative programs
Proceedings of the 13th Acm Sigplan International Conference, 2008
Dependency-style generic haskell
ACM SIGPLAN Notices, 2003
A type system with usage aspects
Journal of Functional Programming, 2008
Encoding Dependently-Typed Constructions into Simple Type Theory
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs