scientific article; zbMATH DE number 1231605

zbMath0925.68081MaRDI QIDQ4222926

Andrew M. Pitts

Publication date: 6 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polymorphic lambda calculusimpredicately polymorphic types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

A principled approach to programming with nested types in Haskell

This page was built for publication: