A polymorphic environment calculus and its type-inference algorithm

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Higher-order and symbolic computation Jg. 13; H. 3; S. 239 - 278
1. Verfasser:	NISHIZAKI, Shin-Ya
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Heidelberg Springer 01.09.2000
Schlagworte:	Applied sciences Computer science; control theory; systems Exact sciences and technology General logic Language theory and syntactical analysis Logic and foundations Mathematical logic, foundations, set theory Mathematics Sciences and techniques of general use Software Software engineering Theoretical computing Typing Environment calculus Lambda calculus Unification Inference algorithm Inference Generic instance Algorithm Polymorphism
ISSN:	1388-3690
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	1388-3690
DOI:	10.1023/a:1010010314528