1999•Lecture notes in computer scienceRequires access
System Description: Teyjus—A Compiler and Abstract Machine Based Implementation of λProlog
Gopalan Nadathur, Dustin Mitchell
Open publisher page 82 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.