An Algorithm for Inferring Quasi-Static Types
| Data(s) |
14/09/2011
14/09/2011
14/12/1994
|
|---|---|
| Resumo |
This report presents an algorithm, and its implementation, for doing type inference in the context of Quasi-Static Typing (QST) ["Quasy-static Typing." Satish Thatte Proc. ACM Symp. on Principles of Programming Languages, 1988]. The package infers types a la "QST" for the simply typed λ-calculus. CONACyT (54716) |
| Identificador |
Oliart, Alberto. "An Algorithm for Inferring Quasi-Static Types”, Technical Report BUCS-1994-013, Computer Science Department, Boston University, November 1994. [Available from: http://hdl.handle.net/2144/1483] |
| Idioma(s) |
en_US |
| Publicador |
Boston University Computer Science Department |
| Relação |
BUCS Technical Reports;BUCS-TR-1994-013 |
| Tipo |
Technical Report |
