<--- Back to Details
First PageDocument Content
Computing / Compiler construction / Parsing / Compiling tools / Syntax / Tree-adjoining grammar / Formal grammar / Natural language understanding / Language / Formal languages / Software engineering / Programming language implementation
Date: 2009-01-26 11:47:40
Computing
Compiler construction
Parsing
Compiling tools
Syntax
Tree-adjoining grammar
Formal grammar
Natural language understanding
Language
Formal languages
Software engineering
Programming language implementation

Context-Based Incremental Generation for Dialogue Matthew Purver1 and Ruth Kempson2 Departments of 1 Computer Science and 2 Philosophy, King’s College London, Strand, London WC2R 2LS, UK {matthew.purver, ruth.kempson}@

Add to Reading List

Source URL: www.eecs.qmul.ac.uk

Download Document from Source Website

File Size: 118,12 KB

Share Document on Facebook

Similar Documents

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

DocID: 1xVI7 - View Document

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

DocID: 1xUkW - View Document

[DSLDI14]  Composable and Hygienic Typed Syntax Macros (TSMs)	
 Cyrus Omar Chenglong (Stanley) Wang

[DSLDI14] Composable and Hygienic Typed Syntax Macros (TSMs) Cyrus Omar Chenglong (Stanley) Wang

DocID: 1xUcw - View Document

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

DocID: 1xTVU - View Document

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

DocID: 1xTQ6 - View Document