Type sharing constraints and undecidability

From MaRDI portal

Publication:5308082

Jump to:navigation, search

DOI10.1017/S0956796806006204zbMath1125.68032OpenAlexW1981519995MaRDI QIDQ5308082

Philippe Narbel

Publication date: 26 September 2007

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Type sharing constraints and undecidability

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