Free variables and bound variables

Results: 147



#Item
1Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University

Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University

Add to Reading List

Source URL: www.emnlp2015.org

Language: English - Date: 2015-12-05 04:22:39
2CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations

CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations

Add to Reading List

Source URL: www.scss.tcd.ie

Language: English - Date: 2014-12-22 10:26:21
3L1 Transfer in Bound Variable Use of L2 Japanese Demonstrative Pronouns

L1 Transfer in Bound Variable Use of L2 Japanese Demonstrative Pronouns

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2016-04-14 14:43:36
4In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:37
5An On-line MathML Editing Tool for Web Applications Su Wei Lanzhou University, Lanzhou, Gansu, 730000, China

An On-line MathML Editing Tool for Web Applications Su Wei Lanzhou University, Lanzhou, Gansu, 730000, China

Add to Reading List

Source URL: icm.mcs.kent.edu

Language: English - Date: 2007-07-30 11:28:35
6STYLE SHEET FOR THE CLA PROCEEDINGS*

STYLE SHEET FOR THE CLA PROCEEDINGS*

Add to Reading List

Source URL: westernlinguistics.ca

Language: English - Date: 2010-06-18 16:04:41
7Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Add to Reading List

Source URL: barzilay.org

Language: English - Date: 2003-07-04 16:21:32
8Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A.

Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A.

Add to Reading List

Source URL: twiki.di.uniroma1.it

Language: English - Date: 2013-03-28 13:13:45
9Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science

Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2011-10-24 10:44:59
10Freeing the Essence of a Computation1 Kenneth R. Anderson BBN Systems and Technologies, 10 Moutlon St. Cambridge, MA, In theory, abstraction is important, but in practice, so is performance. Thus,

Freeing the Essence of a Computation1 Kenneth R. Anderson BBN Systems and Technologies, 10 Moutlon St. Cambridge, MA, In theory, abstraction is important, but in practice, so is performance. Thus,

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10