Implementation of Functional Languages: 14th International ...
Preview
Make-a program for maintaining computer programs. Software - Practice and Experience, 9(4):255–65, 1979. 7. Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer. Sparkle: A functional theorem prover. In Markus Mohnen Thomas Arts ...