scientific article; zbMATH DE number 1497780
From MaRDI portal
Publication:4499197
zbMath0958.68046MaRDI QIDQ4499197
Nick Benton, Andrew J. Kennedy
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
ANF preserves dependent types up to extensional equality ⋮ Call-by-push-value: Decomposing call-by-value and call-by-name ⋮ Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ The interaction of contracts and laziness ⋮ Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
Uses Software
This page was built for publication:
