scientific article; zbMATH DE number 1342279

zbMath0933.03009MaRDI QIDQ4263869

Ken-etsu Fujita

Publication date: 21 November 1999

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

zbMATH Keywords

standard MLcall-by-valueCPS-translationcontinuation semanticssecond-order \(\lambda\)-calculus\(\mu\)-operatorsChurch-styleCurry-style polymorphic calculiDamas-Milner systemexplicitly typed \(\lambda\mu\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Inhabitation of polymorphic and existential types ⋮ Type checking and typability in domain-free lambda calculi ⋮ Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence ⋮ Domain-Freeλµ-Calculus ⋮ Confluence proofs of lambda-mu-calculi by Z theorem ⋮ Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus

This page was built for publication: