Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science

First Page		Document Content
Date: 2002-03-22 10:21:52 Logic Declarative programming Software engineering Symbol Standard ML Substitution Model theory		Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science Add to Reading List Source URL: www.itu.dk Download Document from Source Website File Size: 192,25 KB Share Document on Facebook