Fun with Type Functions

DOI10.1007/978-1-84882-912-1_14zbMath1213.68190OpenAlexW1573380057MaRDI QIDQ3163410

Oleg Kiselyov, Chung-Chieh Shan, Simon L. Peyton Jones

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_14

zbMATH Keywords

during type checking

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Session types without sophistry. System description

This page was built for publication: Fun with Type Functions