Context Dependent Procedures and Computed Types in ✓eriFun
From MaRDI portal
Publication:2866336
DOI10.1016/j.entcs.2006.10.038zbMath1277.68059MaRDI QIDQ2866336
Andreas Schlosser, Michael Gonder, Markus Aderhold, Christoph Walther
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.038
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A two-valued logic for properties of strict functional programs allowing partial functions, Second-Order Programs with Preconditions
Uses Software
Cites Work