The Münster Curry Compiler. http://danae.uni-muenster.de/~lux/curry/, 2003. Neil Mitchell and Stefan O’Rear. Derive - project home (0)

by Wolfgang Lux