From Monomorphic to Polymorphic Well-Typings and Beyond
From MaRDI portal
Publication:3617436
DOI10.1007/978-3-642-00515-2_11zbMath1185.68180OpenAlexW2178191276MaRDI QIDQ3617436
John P. Gallagher, Maurice Bruynooghe, Tom Schrijvers
Publication date: 24 March 2009
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://rucforsk.ruc.dk/ws/files/3406201/revisedpaper.pdf
Related Items (2)
Data type inference for logic programming ⋮ Typed SLD-resolution: dynamic typing for logic programming
Uses Software
Cites Work
This page was built for publication: From Monomorphic to Polymorphic Well-Typings and Beyond