Subtyping Recursive Types Modulo Associative Commutative Products

This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class interfaces. The tool returns classes in the library that can be used to implement the user’s request and automatically...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Di Cosmo, Roberto, Pottier, François, Rémy, Didier
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer Science Computer science control theory systems Exact sciences and technology Initial Pair Lambda Calculus Programming Languages Recursive Type Subtyping Relation Theoretical computing Type Isomorphism
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!