David Je#ery. Expressive Type Systems for Logic Programming Languages. PhD thesis, The University of Melbourne, February 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
No context found.
David Je#ery. Expressive Type Systems for Logic Programming Languages. PhD thesis, The University of Melbourne, February 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC