First-Class Object Sets

DOI10.1007/978-3-642-02444-3_6zbMath1246.68089OpenAlexW1580300743MaRDI QIDQ3638247

Erik Ernst

Publication date: 2 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02444-3_6

zbMATH Keywords

typescompositionmulti-object method callsobject sets

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Coq
• Eiffel
• Scala
• Featherweight Java
• CaesarJ
• gbeta

Cites Work

• Unnamed Item
• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Fickle: Dynamic Object Re-classification
• An Overview of CaesarJ
• A virtual class calculus

This page was built for publication: First-Class Object Sets