scientific article

zbMath1049.68791MaRDI QIDQ3046755

Atsushi Igarashi, Mirko Viroli

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2374/23740441.htm

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) Computing methodologies and applications (68U99)

Related Items (4)

The Essence of Dependent Object Types ⋮ A core calculus for correlation in orchestration languages ⋮ A graph-based generic type system for object-oriented programs ⋮ Matching MyType to subtyping

Uses Software

• PolyTOIL
• Featherweight Java

This page was built for publication: