A static semantics for Haskell

DOI10.1017/S0956796802004380zbMATH Open1037.68016OpenAlexW1989642656MaRDI QIDQ3149004

Karl-Filip Faxén

Publication date: 2002

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796802004380

zbMATH Keywords

Girard-Reynolds polymorphic lambda calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Uses Software

• Haskell

This page was built for publication: A static semantics for Haskell

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