Preface (2017)
Attributed to:
Coalgebraic Logic Programming for Type Inference
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85030174255
Type: Other
Volume: 258
Parent Publication: Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 20752180