Special issue on Programming with Dependent Types Editorial
From MaRDI portal
Publication:5372011
DOI10.1017/S0956796817000065zbMath1418.68006OpenAlexW2622745479MaRDI QIDQ5372011
No author found.
Publication date: 23 October 2017
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796817000065
Functional programming and lambda calculus (68N18) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (1)
Uses Software
This page was built for publication: Special issue on Programming with Dependent Types Editorial
