scientific article; zbMATH DE number 1479622

zbMATH Open0942.03507MaRDI QIDQ4490735FDOQ4490735

Authors: Kung Chen, Martin Odersky 

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

Recommendations

• A type soundness proof for variables in LCF ML
• Taming effects with monadic typing
• Taming effects with monadic typing
• A Polymorphic Type System for the Lambda-Calculus with Constructors
• A calculus with polymorphic and polyvariant flow types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (6)

• A type system for call-by-name exceptions
• System F-omega with equirecursive types for datatype-generic programming
• A Polymorphic Type System for the Lambda-Calculus with Constructors
• Using typed lambda calculus to implement formal systems on a machine
• A logical view of assignments
• A type soundness proof for variables in LCF ML

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490735)