scientific article; zbMATH DE number 1136653

From MaRDI portal

Publication:4381711

Jump to:navigation, search

zbMath0892.68060MaRDI QIDQ4381711

Olaf Chitil

Publication date: 27 July 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

call-by-value call-by-name semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Algebraic correctness proofs for compiling recursive function definitions with strictness information

This page was built for publication:

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