Extensible encoding of type hierarchies (original) (raw)
Related papers
Near optimal hierarchical encoding of types
Lecture Notes in Computer Science, 1997
Modular typechecking for hierarchically extensible datatypes and functions
ACM Transactions on Programming Languages and Systems, 2004
Typing dynamic inheritance: A trade-off between substitutability and extensibility
Hidden Type Variables and Conditional Extension for More Expressive Generic Programs
2007
Static typing with value space-based subtyping
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment - SAICSIT '11, 2011
Variant parametric types: A flexible subtyping scheme for generics
ACM Transactions on Programming Languages …, 2006
Typed compilation of recursive datatypes
ACM SIGPLAN Notices, 2003
Encoding monomorphic and polymorphic types
Encodings of Extensible Objects and Types
Acm Transactions on Computational Logic, 2013
Incremental polymorphic type checking in B
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83, 1983
Generic programming for indexed datatypes
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming - WGP '11, 2011
Variant path types for scalable extensibility
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 2007
Signatures: A language extension for improving type abstraction and subtype polymorphism in C++
Software: Practice and Experience, 1995
A lightweight approach to datatype-generic rewriting
2008
Type Classes for Lightweight Substructural Types
Proc. Third International Workshop on Linearity (LINEARITY 2014), 2014
Effective and Efficient Compilation of Run-Time Generics in Java
Electronic Notes in Theoretical Computer Science, 2005
Lightweight family polymorphism
Journal of Functional Programming, 2008
Type Inference for the Mixture of Matching and Implicit Subtyping
1996
Optimizing the runtime processing of types in a higher-order logic programming language
2005
Declaration-free type checking
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
Generic zero-cost reuse for dependent types
Proceedings of the ACM on Programming Languages
Designing families of data types using exemplars
ACM Transactions on Programming Languages and Systems, 1989
Scrap your boilerplate: a practical design pattern for generic programming
2003
2004
Optimizing dynamically-typed object-oriented languages with polymorphic inline caches
1991
Trace-based Just-in-Time Type Specialization for Dynamic Languages
Typecase: A design pattern for type-indexed functions
2005
On the runtime complexity of type-directed unboxing
ACM SIGPLAN Notices, 1999
A functional approach to generic programming using adaptive traversals
Higher-order and Symbolic Computation / Lisp and Symbolic Computation
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
2003