Jason (Ph.D. Candidate, Indiana University - Bloomington) Hemann
Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.
Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer t...
