Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages

DOI10.1017/S0956796898002974zbMath0917.68035OpenAlexW1988408086MaRDI QIDQ4236753

Robert F. Stärk

Publication date: 8 August 1999

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

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

zbMATH Keywords

functional programsbasic logic of partial terms

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (4)

Formalizing non-termination of recursive programs ⋮ Proof-theoretic notions for software maintenance ⋮ Explicit mathematics: power types and overloading ⋮ Axioms for strict and lazy functional programs

Uses Software

• Miranda

This page was built for publication: Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages