Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68138OpenAlexW2491912653MaRDI QIDQ5899007FDOQ5899007

Authors: Ben Rudiak-Gould, Alan Mycroft, Simon Peyton-Jones 

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11693024

Recommendations

• A static semantics for Haskell
• scientific article; zbMATH DE number 1692906
• scientific article; zbMATH DE number 2090021
• Two-Level Functional Languages
• From ML to Ada: Strongly-typed language interoperability via source translation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cited In (1)

• Selective strictness and parametricity in structural operational semantics, inequationally

Uses Software

• Haskell

This page was built for publication: Programming Languages and Systems

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