First-Class Object Sets

DOI10.1007/978-3-642-02444-3_6MaRDI QIDQ3638247zbMATH OpenOpenAlexFDO

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

Recommendations

• scientific article; zbMATH DE number 5711606
• First-Class Type Classes
• Sets and classes as many
• Ideal objects for set theory
• Some sets of first category
• scientific article; zbMATH DE number 18137
• Sets, classes, and categories
• scientific article; zbMATH DE number 1330431
• Labelling classes by sets

Cites work

• scientific article; zbMATH DE number 1728245 (Why is no real title available?)
• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• A virtual class calculus
• An Overview of CaesarJ
• Fickle: Dynamic Object Re-classification
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.

Cited in

(1)

• scientific article; zbMATH DE number 1728245 (Why is no real title available?)

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638247)