A static semantics for Haskell

DOI10.1017/S0956796802004380MaRDI QIDQ3149004zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Programming Languages and Systems
• A semantics for static type inference
• Type Reconstruction for Type Classes
• FPH: first-class polymorphism for Haskell
• Principal type schemes for functional programs with overloading and subtyping

Cited in

(3)

• A typed representation for HTML and XML documents in Haskell
• Generic Programming
• Programming Languages and Systems

Describes a project that uses

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)