Home
Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.
Collections
Categories
Systems
Conferences
People
Companies
Papers
Searched:
Compiler *Construction *In *Higher *Order *Logic *Programming[^A-Za-z]
Results from Transform web
ChuckLiang
EelcoVisser
21 Dec 2001 - 17:11
-
NEW
Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople
HigherOrderCompilationProject
EelcoVisser
21 Dec 2001 - 17:13
-
NEW
An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by ChuckLiang http://cs.hofstra.edu/~cscccl/hocompiler ...
Number of topics:
2