scientific article; zbMATH DE number 1512611

MaRDI QIDQ4508295zbMATH OpenFDO

Authors Ferruccio Damiani

Publication date 3 October 2000

zbMATH Keywords

let-expressionsletrec-expressionstyping rules for local definitions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 883895
• From types to sets by local type definitions in higher-order logic
• From types to sets by local type definition in higher-order logic
• Type Inference for Rank 2 Gradual Intersection Types
• Type inference for rank-2 intersection types using set unification
• Intersection type systems and explicit substitutions calculi
• scientific article; zbMATH DE number 1759417
• Pre-grammars and inhabitation for a subset of rank 2 intersection types
• A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables

Cited in

(2)

• Rank 2 intersection for recursive definitions
• Typed Lambda Calculi and Applications

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 Q4508295)