A Constructive Type System to Integrate Logic and Functional Programming

L Pinto, Roy Dyckhoff, D Galmiche, L Wallen

Research output: Contribution to conferencePaper

64 Citations (Scopus)
Original languageEnglish
Pages70-81
Publication statusPublished - 1994

Cite this