Combining generic judgments with recursive definitions

Cached

Download Links

by Andrew Gacek , Dale Miller , Gopalan Nadathur
Venue:in "23th Symp. on Logic in Computer Science", F. PFENNING (editor), IEEE Computer Society Press, 2008, p. 33–44, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08a.pdf US
Citations:14 - 4 self

Document Versions

Combining generic judgments with recursive definitions –Andrew Gacek, Dale Miller, Gopalan Nadathur — in "23th Symp. on Logic in Computer Science", F. PFENNING (editor), IEEE Computer Society Press, 2008, p. 33–44, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08a.pdf US
Combining generic judgments with recursive definitions –Andrew Gacek, Dale Miller, Gopalan Nadathur — in "23th Symp. on Logic in Computer Science", F. PFENNING (editor), IEEE Computer Society Press, 2008, p. 33–44, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08a.pdf US