Type-Safe Code Transformations in Haskell.

Louis-Julien Guillemette Stefan Monnier

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

programming language
source code
real world
information retrieval
artificial intelligence
multi agent
relational databases
software development
static analysis