Adding equations to System F types

DOI10.1007/978-3-642-28869-2_21MaRDI QIDQ2892742zbMATH OpenOpenAlexFDO

Authors Neelakantan R. Krishnaswami, Nick Benton

Publication date 22 June 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_21

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• An extension of system \(F\) with subtyping
• An extension of system \(F\) with subtyping
• scientific article; zbMATH DE number 139986
• Equational type logic
• System F in Agda, for fun and profit

Cited in

(5)

• System F in Agda, for fun and profit
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• An extension of system \(F\) with subtyping
• System FC with explicit kind equality
• Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations

Describes a project that uses

Uses Software

• Haskell
• Nuprl

This page was built for publication: Adding equations to System F types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892742)