Delphin: Functional Programming with Deductive Systems (2002)

by Carsten Schürmann , Richard Fontana , Yu Liao
Citations:6 - 2 self