Dale Miller profile picture

Dale Miller

Is this your author profile? Create an account to customize it!

Stand Alone

Programming with higher-order logic
Functional and Logic Programming
Logic Programming Proceedings of the 1993 International Symposium