Home

Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.

Collections
Categories
Systems
Conferences
People
Companies
Papers

Searched: Gopalan *Nadathur[^A-Za-z]
Results from Transform web
LambdaProlog
EelcoVisser
09 May 2001 - 21:56 - NEW

Homepage: http://www.cse.psu.edu/~dale/lProlog/ LambdaProlog is a logic programming language with HigherOrderAbstractSyntax. TeyjusSystem GopalanNadathur CategorySystem ...

Number of topics: 1