Stratified type inference for generalized algebraic data types

DOI10.1145/1111037.1111058zbMath1369.68114OpenAlexW2166129645MaRDI QIDQ5348926

Yann Régis-Gianas, François Pottier

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9415

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Ambivalent Types for Principal Type Inference with GADTs ⋮ The essence of ornaments ⋮ A lean specification for gadts: System F with first-class equality proofs ⋮ Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language ⋮ Recasting ML\(^{\text F}\)

This page was built for publication: Stratified type inference for generalized algebraic data types