Publication:4737219
From MaRDI portal
zbMath1057.03023MaRDI QIDQ4737219
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800913.htm
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items
Type Inference for Rank 2 Gradual Intersection Types, Type Disciplines for Analysing Biologically Relevant Properties, Space-aware ambients and processes, A completeness result for a realisability semantics for an intersection type system, Recasting ML\(^{\text F}\), Nominal essential intersection types, Strong normalization through intersection types and memory, Principality and type inference for intersection types using expansion variables, Polar Type Inference with Intersection Types and ω, Implementing Compositional Analysis Using Intersection Types With Expansion Variables, Enumerated type semantics for the calculus of looping sequences, On Polymorphic Recursion, Type Systems, and Abstract Interpretation