Type Inference for Bimorphic Recursion

Uložené v:

Podrobná bibliografia
Vydané v:	Electronic Proceedings in Theoretical Computer Science Ročník 54; s. 102 - 115
Hlavní autori:	Makoto Tatsuta, DAMIANI, Ferruccio
Médium:	Journal Article
Jazyk:	Japanese
Vydavateľské údaje:	Open Publishing Association 04.06.2011
Predmet:	Computer Science - Logic in Computer Science Computer Science - Programming Languages Electronic computers. Computer science F.3.3 FOS: Computer and information sciences Functional programming; Lambda calculus; Polymorphic recursion; Type inference algorithms Logic in Computer Science (cs.LO) Mathematics Programming Languages (cs.PL) QA1-939 QA75.5-76.95
ISSN:	2075-2180
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
ISSN:	2075-2180
DOI:	10.4204/eptcs.54.8