<--- Back to Details
First PageDocument Content
Software engineering / Computing / Software / Evaluation strategy / Incremental computing / Partial evaluation / Programming language implementation / Interpreter / Logic programming / Programming language / Meta / Eval
Date: 2010-10-22 08:05:10
Software engineering
Computing
Software
Evaluation strategy
Incremental computing
Partial evaluation
Programming language implementation
Interpreter
Logic programming
Programming language
Meta
Eval

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

Add to Reading List

Source URL: repository.readscheme.org

Download Document from Source Website

File Size: 624,83 KB

Share Document on Facebook

Similar Documents

DOI:http://dx.doi.orgAPJCPBlood Groups and Risk of Cancer: a Systematic Review and Meta-Analysis RESEARCH ARTICLE ABO Blood Groups and Risk of Cancer: a Systematic Review and Meta-analysis

DOI:http://dx.doi.orgAPJCPBlood Groups and Risk of Cancer: a Systematic Review and Meta-Analysis RESEARCH ARTICLE ABO Blood Groups and Risk of Cancer: a Systematic Review and Meta-analysis

DocID: 1xVc0 - View Document

Natural Language to Structured Query Generation via Meta-Learning  Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm

DocID: 1xUL3 - View Document

On First-Order Meta-Learning Algorithms  arXiv:1803.02999v3 [cs.LG] 22 Oct 2018 Alex Nichol and Joshua Achiam and John Schulman OpenAI

On First-Order Meta-Learning Algorithms arXiv:1803.02999v3 [cs.LG] 22 Oct 2018 Alex Nichol and Joshua Achiam and John Schulman OpenAI

DocID: 1xUe9 - View Document

Neural Program Meta-Induction  arXiv:1710.04157v1 [cs.AI] 11 Oct 2017 Jacob Devlin∗ Google

Neural Program Meta-Induction arXiv:1710.04157v1 [cs.AI] 11 Oct 2017 Jacob Devlin∗ Google

DocID: 1xTQM - View Document

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

DocID: 1xTvC - View Document