From ML to ML ^F

From MaRDI portal

Revision as of 15:53, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5178756

Jump to:navigation, search

DOI10.1145/1411204.1411216zbMath1323.68151OpenAlexW4242368982WikidataQ130956001 ScholiaQ130956001MaRDI QIDQ5178756

Didier Rémy, Boris Yakobowski

Publication date: 16 March 2015

Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1411204.1411216

zbMATH Keywords

types graphs unification type inference ML binders System F type generalization type instantiation type constraints

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (2)

A Church-style intermediate language for ML\(^{\text F}\) ⋮ Recasting ML\(^{\text F}\)

This page was built for publication: From ML to ML ^F

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5178756&oldid=19744478"