DMCA

A unified computation model for functional and logic programming (1997)

by Michael Hanus
Venue:IN PROC. OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (PARIS
Citations:142 - 70 self