Library

Export 5 results:
Filters: First Letter Of Title is M and Author is Krishnaprasad Thirunarayan  [Clear All Filters]
1994
Krishnaprasad Thirunarayan. A Meta-Interpreter for Circuit-Extraction. In A Meta-Interpreter for Circuit-Extraction. 1994.  (0 bytes)
2008
K. Cleereman, Krishnaprasad Thirunarayan, M. Cheatham. Mechanisms for Improved Covariant Type-Checking. Computer Languages, Systems and Structures; 2008. p. 1-17.  (276.33 KB)