scientific article; zbMATH DE number 2242602

zbMath1087.68537MaRDI QIDQ5714455

Philip Wadler

Publication date: 2 January 2006

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150468.htm

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

The Girard-Reynolds isomorphism ⋮ The Girard-Reynolds isomorphism (second edition) ⋮ Matching MyType to subtyping