System F i

DOI10.1007/978-3-642-38946-7_4zbMath1381.68044OpenAlexW10033268MaRDI QIDQ5300891

Andrew M. Pitts, T. Sheard, Ki Yung Ahn, Marcelo P. Fiore

Publication date: 28 June 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38946-7_4

zbMATH Keywords

strong normalizationlogical consistencygeneralized algebraic data typeshigher-kinded typeshigher-order polymorphismimpredicative encodingterm-indexed data typestype-constructor polymorphism

Mathematics Subject Classification ID

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

Related Items (1)

Executable Relational Specifications of Polymorphic Type Systems Using Prolog

This page was built for publication: System F i