Disjoint Polymorphism

DOI10.1007/978-3-662-54434-1_1zbMath1485.68052OpenAlexW4251450266MaRDI QIDQ2988630

Bruno C. d. S. Oliveira, Zhiyuan Shi, Joao Alpuim

Publication date: 19 May 2017

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54434-1_1

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Applicative intersection types ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Pre-grammars and inhabitation for a subset of rank 2 intersection types ⋮ Taming the Merge Operator

Uses Software

• Coq
• Scala
• Forsythe

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An extension of system \(F\) with subtyping
• A calculus for overloaded functions with subtyping
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• Intersection types and computational effects
• An algebraic approach to mixins and modularity
• Disjoint intersection types
• Engineering formal metatheory
• A Declarative Language for the Coq Proof Assistant
• Functional Characters of Solvable Terms
• Simple type-theoretic foundations for object-oriented programming
• Qualified Types
• The coherence of languages with intersection types
• Elaborating intersection and union types
• Polymorphic functions with set-theoretic types
• Extensible programming with first-class cases
• Types for Proofs and Programs
• Operations on records

This page was built for publication: Disjoint Polymorphism