Type inference for recursive definitions (1999)
Cached
Download Links
- [cs-people.bu.edu]
- [cs-people.bu.edu]
- [www.cs.bu.edu]
- [cs-people.bu.edu]
- [www.cs.bu.edu]
- DBLP
Other Repositories/Bibliography
by
Assaf J. Kfoury
,
Santiago M. Pericás-geertsen
| Venue: | In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci |
| Citations: | 2 - 1 self |
Document Versions
| Type inference for recursive definitions –Assaf J. Kfoury, Santiago M. Pericás-geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci |
| Type inference for recursive definitions –Assaf J. Kfoury, Santiago M. Pericás-geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci |
| Type Inference for Recursive Definitions –Assaf J. Kfoury, Santiago M. Pericás-Geertsen — 2000 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci |
| Type Inference for Recursive Definitions –Assaf Kfoury, Santiago M. Pericas-Geertsen — 1999 — In Proc. 14th Ann. IEEE Symp. Logic in Comput. Sci |
| Type Inference for Recursive Definitions –Assaf J. Kfoury, Santiago M. Pericas-Geertsen — 2000 |
