A Church-Style Intermediate Language for ML F

DOI10.1007/978-3-642-12251-4_4zbMath1284.68136OpenAlexW1529331368MaRDI QIDQ3558327

Boris Yakobowski, Didier Rémy

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Safe zero-cost coercions for Haskell ⋮ Recasting ML\(^{\text F}\)

This page was built for publication: A Church-Style Intermediate Language for ML F