A polymorphic environment calculus and its type-inference algorithm

Uloženo v:

Podrobná bibliografie
Vydáno v:	Higher-order and symbolic computation Ročník 13; číslo 3; s. 239 - 278
Hlavní autor:	NISHIZAKI, Shin-Ya
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Heidelberg Springer 01.09.2000
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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