A one pass algorithm for type checking with overloading and polymorphism
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Report de recerca
Data publicació
Editor
Condicions d'accés
Accés obert
item.page.rightslicense
Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Llevat que s'hi indiqui el contrari, els seus continguts estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Publicacions relacionades
Datasets relacionats
Projecte CCD
Abstract
This paper presents an algorithm to do type checking with overloaded functions. It also handles type variables, which enables it to handle polymorphic functions and other interesting problems as incomplete programs. The algorithm just uses one pass over the syntactic tree.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
Pérez, J.; Mylonakis, N. A one pass algorithm for type checking with overloading and polymorphism. 1992.
Ajut
Forma part
LSI-92-14-R