scientific article; zbMATH DE number 6932679

DOI10.23638/LMCS-14(3:17)2018zbMath1398.68079arXiv1801.05052MaRDI QIDQ4585064

Mariangiola Dezani-Ciancaglini, Viviana Bono, Lorenzo Bettini, Paola Giannini, Betti Venneri

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1801.05052

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (2)

Soundness Conditions for Big-Step Semantics ⋮ Type inference for rank-2 intersection types using set unification

Uses Software

• Featherweight Java
• coFJ

Cites Work

• Semantic types and approximation for Featherweight Java
• Deriving session and union types for objects

This page was built for publication: