@inproceedings{power98:wysiwym,
abstract = {Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowledge. From the viewpoint of domain experts, the best medium for defining the knowledge would be a text in natural language; however, natural language input cannot be decoded reliably unless written in controlled languages, which are difficult for domain experts to learn and use. WYSIWYM editing is an alternative...},
author = {Power, Richard and Scott, Donia and Evans, Roger },
booktitle = {13th {E}uropean {C}onference on {A}rtificial {I}ntelligence ({E}{C}{A}{I} 1998)},
citeulike-article-id = {1596289},
keywords = {syntax-editing},
pages = {677--681},
posted-at = {2008-06-11 13:58:13},
priority = {2},
title = {{W}hat {Y}ou {S}ee {I}s {W}hat {Y}ou {M}eant: direct knowledge editings with natural language feedback},
url = {http://citeseer.ist.psu.edu/power98what.html},
year = {1998}
}
@mastersthesis{meza08:masters-thesis,
author = {Meza Moreno, Mois\'{e}s S. },
citeulike-article-id = {2858819},
keywords = {gf},
posted-at = {2008-06-03 12:27:26},
priority = {0},
school = {Chalmers University of Technology},
title = {{I}mplementation of a {J}ava{S}cript {S}yntax {E}ditor and {P}arser for {G}rammatical {F}ramework},
year = {2008}
}
@book{citeulike:2857088,
author = {Montague, Richard },
citeulike-article-id = {2857088},
editor = {Thomason, Richmond },
keywords = {semantics},
posted-at = {2008-06-02 15:23:25},
priority = {2},
publisher = {Yale University Press},
title = {{F}ormal {P}hilosophy},
year = {1974}
}
@article{montague73:ptq,
address = {Dordrecht},
author = {Montague, Richard },
booktitle = {{A}pproaches to {N}atural {L}anguage: proceedings of the 1970 {S}tanford workshop on {G}rammar and {S}emantics},
citeulike-article-id = {2857079},
editor = {Hintikka, J. and Moravcsik, J. and Suppes, P. },
keywords = {semantics},
pages = {221--242},
posted-at = {2008-06-02 15:18:17},
priority = {0},
publisher = {Reidel},
title = {{T}he {P}roper {T}reatment of {Q}uantification in {O}rdinary {E}nglish},
year = {1973}
}
@inproceedings{furbach08:loganswer-description,
author = {Furbach, Ulrich and Gl\"{o}ckner, Ingo and Helbig, Hermann and Pelzer, Bj\"{o}rn },
booktitle = {{I}n {P}roceedings of the 4th {I}nternational {J}oint {C}onference on {A}utomated {R}easoning ({I}{J}{C}{A}{R}-08), {S}ydney, {A}ustralia},
citeulike-article-id = {2857004},
keywords = {semantics},
month = {August},
posted-at = {2008-06-02 14:49:46},
priority = {2},
title = {{L}og{A}nswer - {A} {D}eduction-{B}ased {Q}uestion {A}nswering {S}ystem ({S}ystem {D}escription)},
url = {http://pi7.fernuni-hagen.de/gloeckner/ijcar08.pdf},
year = {2008}
}
@article{bos07:automated-deduction-nlu,
abstract = {Very few natural language understanding applications employ methods from automated deduction. This is mainly because (i) a high level of interdisciplinary knowledge is required, (ii) there is a huge gap between formal semantic theory and practical implementation, and (iii) statistical rather than symbolic approaches dominate the current trends in natural language processing. Moreover, abduction rather than deduction is generally viewed as a promising way to apply reasoning in natural language understanding. We describe three applications where we show how first-order theorem proving and finite model construction can efficiently be employed in language understanding. The first is a text understanding system building semantic representations of texts, developed in the late 1990s. Theorem provers are here used to signal inconsistent interpretations and to check whether new contributions to the discourse are informative or not. This application shows that it is feasible to use general-purpose theorem provers for first-order logic, and that it pays off to use a battery of different inference engines as in practice they complement each other in terms of performance. The second application is a spoken-dialogue interface to a mobile robot and an automated home. We use the first-order theorem prover spass for checking inconsistencies and newness of information, but the inference tasks are complemented with the finite model builder mace used in parallel to the prover. The model builder is used to check for satisfiability of the input; in addition, the produced finite and minimal models are used to determine the actions that the robot or automated house has to execute. When the semantic representation of the dialogue as well as the number of objects in the context are kept fairly small, response times are acceptable to human users. The third demonstration of successful use of first-order inference engines comes from the task of recognising entailment between two (short) texts. We run a robust parser producing semantic representations for both texts, and use the theorem prover vampire to check whether one text entails the other. For many examples it is hard to compute the appropriate background knowledge in order to produce a proof, and the model builders mace and paradox are used to estimate the likelihood of an entailment.},
author = {Bos, Johan },
citeulike-article-id = {2856994},
doi = {10.1016/j.jal.2007.07.008},
journal = {{J}ournal of {A}pplied {L}ogic},
keywords = {fol, semantics},
posted-at = {2008-06-02 14:45:11},
priority = {2},
title = {{A}pplying automated deduction to natural language understanding},
url = {http://dx.doi.org/10.1016/j.jal.2007.07.008},
volume = {In Press, Corrected Proof},
year = {2007}
}
@inbook{cooper96:fracas-test-suite,
author = {Cooper, Robin and Crouch, Dick and van Eijck, Jan and Fox, Chris and van Genabith, Josef and Jaspars, Jan and Kamp, Hans and Milward, David and Pinkal, Manfred and Poesio, Massimo and Pulman, Steve and Briscoe, Ted and Maier, Holger and Konrad, Karsten },
booktitle = {{U}sing the {F}ramework},
citeulike-article-id = {2816930},
howpublished = {FraCas Deliverable D16},
keywords = {fracas, semantics},
month = {January},
posted-at = {2008-05-20 16:39:35},
priority = {2},
title = {{A} {S}emantic {T}est {S}uite},
url = {http://www.cogsci.ed.ac.uk/~jbos/rte/fracas.pdf},
year = {1996}
}
@article{barwise81:generalized-quantifiers,
author = {Barwise, Jon and Cooper, Robin },
citeulike-article-id = {2816773},
doi = {10.1007/BF00350139},
journal = {{L}inguistics and {P}hilosophy},
keywords = {semantics},
month = {June},
number = {2},
pages = {159--219},
posted-at = {2008-05-20 16:10:02},
priority = {2},
title = {{G}eneralized quantifiers and natural language},
url = {http://dx.doi.org/10.1007/BF00350139},
volume = {4},
year = {1981}
}
@book{cooper83:quantification,
author = {Cooper, R. },
citeulike-article-id = {2816758},
edition = {1},
howpublished = {Hardcover},
isbn = {9027714843},
keywords = {semantics},
month = {April},
posted-at = {2008-05-20 16:02:38},
priority = {2},
publisher = {Springer},
series = {Studies in Linguistics and Philosophy},
title = {{Q}uantification and {S}yntactic {T}heory},
volume = {21},
year = {1983}
}
@article{wadler93:monads,
abstract = {Moggi's use of monads to factor semantics is used to model the composable
continuations of Danvy and Filinski. This yields some insights into the type systems
proposed by Murthy and by Danvy and Filinski. Interestingly, modelling some aspects
of composable continuations requires a structure that is almost, but not quite, a monad.
1.},
author = {Wadler, Philip },
citeulike-article-id = {1213941},
journal = {{L}isp and {S}ymbolic {C}omputation},
keywords = {continuations, haskell},
number = {1},
pages = {39--56},
posted-at = {2008-05-20 15:47:51},
priority = {2},
title = {{M}onads and {C}omposable {C}ontinuations},
url = {http://citeseer.ist.psu.edu/595342.html},
volume = {7},
year = {1994}
}
@incollection{zwicky75:ambiguity-tests,
address = {New York},
author = {Zwicky, Arnold M. and Sadock, Jerrold M. },
booktitle = {{S}yntax and {S}emantics},
citeulike-article-id = {2816718},
editor = {Kimball, John P. },
keywords = {semantics},
month = {July},
posted-at = {2008-05-20 15:45:17},
priority = {2},
publisher = {Academic Press},
title = {{A}mbiguity tests and how to fail them},
url = {http://www.stanford.edu/~zwicky/ambiguity-tests-and-how-to-fail-them.pdf},
volume = {4},
year = {1975}
}
@inproceedings{khegai06:gf-mt,
author = {Khegai, Janna },
booktitle = {{P}roceedings of {E}{A}{M}{T}-2006, 11th {A}nnual conference of the {E}uropean {A}ssociation for {M}achine {T}ranslation, {O}slo, {N}orway},
citeulike-article-id = {2746156},
keywords = {gf, translation},
month = {June},
pages = {95--104},
posted-at = {2008-05-02 16:54:37},
priority = {2},
title = {{G}rammatical {F}ramework ({G}{F}) for {M}{T} in sublanguage domains},
url = {http://www.mt-archive.info/EAMT-2006-Khegai.pdf},
year = {2006}
}
@book{blackburn05:compsem,
abstract = {How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an essential text for computer scientists, linguists, and anyone interested in the development of computational semantics.},
author = {Blackburn, Patrick and Bos, Johan },
citeulike-article-id = {2682280},
howpublished = {Paperback},
isbn = {1575864967},
keywords = {fol, semantics},
month = {April},
posted-at = {2008-04-17 15:57:44},
priority = {0},
publisher = {Center for the Study of Language and Information},
title = {{R}epresentation and {I}nference for {N}atural {L}anguage: {A} {F}irst {C}ourse in {C}omputational {S}emantics},
year = {2005}
}
@article{furuta88:editing-structured-documents,
author = {Furuta, R. and Quint, V. and Andre, J. },
citeulike-article-id = {2642045},
journal = {{E}lectronic {P}ublishing},
keywords = {bibtex-import},
number = {1},
pages = {19--44},
posted-at = {2008-04-08 17:18:59},
priority = {2},
title = {{Interactively Editing Structured Documents}},
url = {http://cajun.cs.nott.ac.uk/wiley/journals/epobetan/pdf/volume1/issue1/eprxf011.pdf},
volume = {1},
year = {1988}
}
@inproceedings{cohen06:wexed,
author = {Cohen, Arjeh and Cuypers, Hans and Poels, Karin and Spanbroek, Mark and Verrijzer, Rikko },
booktitle = {{W}eb{A}{L}{T} 2006, {F}irst {W}eb{A}{L}{T} {C}onference and {E}xhibition, {E}indhoven, {T}he {N}etherlands},
citeulike-article-id = {2642011},
editor = {Sepp\"{a}l\"{a}, Mika and Xambo, Sebastian and Caprotti, Olga },
keywords = {gf, webalt},
month = {January},
pages = {141--145},
posted-at = {2008-04-08 17:00:42},
priority = {2},
title = {{W}{E}x{E}d - {W}eb{A}{L}{T} {E}xercise {E}ditor for {M}ultilingual {M}athematical {E}xercises},
url = {http://www.win.tue.nl/~amc/pub/wexed.pdf},
year = {2006}
}
@book{beckert07:key,
citeulike-article-id = {2641989},
editor = {Beckert, Bernhard and H\"{a}hnle, Reiner and Schmitt, Peter H. },
keywords = {gf},
posted-at = {2008-04-08 16:45:27},
priority = {2},
publisher = {Springer-Verlag},
series = {LNCS},
title = {{V}erification of {O}bject-{O}riented {S}oftware: {T}he {K}e{Y} {A}pproach},
volume = {4334},
year = {2007}
}
@inproceedings{johannisson03:gramlets,
author = {Johannisson, Kristofer and Khegai, Janna and Forsberg, Markus and Ranta, Aarne },
booktitle = {{T}he {J}oint {W}inter {M}eeting of {C}omputing {S}cience and {C}omputer {E}ngineering},
citeulike-article-id = {2641893},
keywords = {gf},
posted-at = {2008-04-08 16:06:56},
priority = {3},
publisher = {Chalmers University of Technology},
title = {{From Grammars to Gramlets}},
year = {2003}
}
@incollection{khegai03:syntax-editing,
abstract = {GF (Grammatical Framework) makes it possible to perform multilingual authoring of documents in restricted languages. The idea is to use an object in type theory to describe the common abstract syntax of a document and then map this object to a concrete syntax in the different languages using linearization functions, one for each language. Incomplete documents are represented using metavariables in type theory. The system belongs to the tradition of logical frameworks in computer science. The paper gives a description of how a user can use the editor to build a document in several languages and also shows some examples how ambiguity is resolved using type checking. There is a brief description of how GF grammars are written for new domains and how linearization functions are de.ned.},
author = {Khegai, Janna and Nordstr\"{o}m, Bengt and Ranta, Aarne },
booktitle = {{C}omputational {L}inguistics and {I}ntelligent {T}ext {P}rocessing},
citeulike-article-id = {2641876},
doi = {10.1007/3-540-36456-0\_48},
editor = {Gelbukh, Alexander },
journal = {{C}omputational {L}inguistics and {I}ntelligent {T}ext {P}rocessing},
keywords = {gf},
pages = {199--204},
posted-at = {2008-04-08 15:57:37},
priority = {0},
series = {Lecture Notes in Computer Science},
title = {{M}ultilingual {S}yntax {E}diting in {G}{F}},
url = {http://dx.doi.org/10.1007/3-540-36456-0\_48},
volume = {2588},
year = {2003}
}
@incollection{ranta08:grammar-libraries,
author = {Ranta, Aarne },
booktitle = {{F}rom semantics to computer science: essays in honor of {G}illes {K}ahn},
citeulike-article-id = {2641830},
editor = {Bertot, Yves and Huet, G\'{e}rard and L\'{e}vy, Jean-Jacques and Plotkin, Gordon },
keywords = {gf},
posted-at = {2008-04-08 15:52:29},
priority = {0},
publisher = {Cambridge University Press},
title = {{G}rammars as software libraries},
year = {2008}
}
@article{teitelbaum81:program-synthesizer,
address = {New York, NY, USA},
author = {Teitelbaum, Tim and Reps, Thomas },
citeulike-article-id = {2075692},
doi = {10.1145/358746.358755},
issn = {0001-0782},
journal = {{C}ommun. {A}{C}{M}},
month = {September},
number = {9},
pages = {563--573},
posted-at = {2008-04-08 15:47:04},
priority = {3},
publisher = {ACM},
title = {{T}he {C}ornell program synthesizer: a syntax-directed programming environment},
url = {http://portal.acm.org/citation.cfm?id=358755},
volume = {24},
year = {1981}
}
@misc{meza08:syntax-editing,
author = {Meza Moreno, Mois\'{e}s S. and Bringert, Bj\"{o}rn },
citeulike-article-id = {2616731},
howpublished = {To appear at GoTAL 2008},
keywords = {gf},
posted-at = {2008-03-31 17:25:33},
priority = {0},
title = {{I}nteractive {M}ultilingual {W}eb {A}pplications with {G}rammatical {F}ramework},
year = {2008}
}
@misc{citeulike:2471778,
author = {Rawlins, Kyle },
citeulike-article-id = {2471778},
keywords = {semantics},
posted-at = {2008-03-05 10:28:35},
priority = {0},
title = {{C}omputational {S}emantics {I}nformation},
url = {http://people.ucsc.edu/~krawlins/clsbib/}
}
@inproceedings{maccartney07:WTEP,
address = {Prague},
author = {MacCartney, Bill and Manning, Christopher D. },
booktitle = {{P}roceedings of the {A}{C}{L}-{P}{A}{S}{C}{A}{L} {W}orkshop on {T}extual {E}ntailment and {P}araphrasing},
citeulike-article-id = {2471513},
keywords = {fracas, semantics},
pages = {193--200},
posted-at = {2008-03-05 10:10:26},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{N}atural {L}ogic for {T}extual {I}nference},
url = {http://www.aclweb.org/anthology/W/W07/W07-1431},
year = {2007}
}
@misc{angelov08:pgf,
author = {Angelov, Krasimir and Bringert, Bj\"{o}rn and Ranta, Aarne },
citeulike-article-id = {2431460},
journal = {{J}ournal of {L}ogic, {L}anguage and {I}nformation},
keywords = {gf},
posted-at = {2008-02-26 21:43:56},
priority = {0},
title = {{P}{G}{F}: {A} {P}ortable {R}un-{T}ime {F}ormat for {T}ype-{T}heoretical {G}rammars},
howpublished = {Manuscript, \url{http://www.cs.chalmers.se/~bringert/publ/pgf/pgf.pdf}},
year = {2008}
}
@article{seki91:mcfg,
address = {Essex, UK},
author = {Seki, Hiroyuki and Matsumura, Takashi and Fujii, Mamoru and Kasami, Tadao },
citeulike-article-id = {2386394},
issn = {0304-3975},
journal = {{T}heoretical {C}omputer {S}cience},
keywords = {grammars},
month = {October},
number = {2},
pages = {191--229},
posted-at = {2008-02-15 14:36:49},
priority = {2},
publisher = {Elsevier Science Publishers Ltd.},
title = {{O}n multiple context-free grammars},
url = {http://portal.acm.org/citation.cfm?id=123648},
volume = {88},
year = {1991}
}
@article{shieber95:deductive-parsing,
abstract = {We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as to implement the corresponding parser. The method generalizes easily to parsers for augmented phrase structure formalisms, and has been used for rapid protoyping of parsing algorithms for a variety of formalisms including variants of tree-adjoining grammars, ...},
author = {Shieber, Stuart M. and Schabes, Yves and Pereira, Fernando C. N. },
citeulike-article-id = {741855},
journal = {{J}ournal of {L}ogic {P}rogramming},
keywords = {grammars},
number = {1\&2},
pages = {3--36},
posted-at = {2008-02-15 14:30:38},
priority = {2},
title = {{P}rinciples and {I}mplementation of {D}eductive {P}arsing},
url = {http://citeseer.ist.psu.edu/11717.html},
volume = {24},
year = {1995}
}
@article{bringert:composOp-jfp,
author = {Bringert, Bj\"{o}rn and Ranta, Aarne },
citeulike-article-id = {2360419},
howpublished = {to appear},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {gadt, generics, haskell},
posted-at = {2008-02-10 22:05:42},
priority = {0},
title = {{A} {P}attern for {A}lmost {C}ompositional {F}unctions},
volume = {to appear}
}
@book{unicode50,
abstract = {"Hard copy versions of the Unicode Standard have been among the most crucial and most heavily used reference books in my personal library for years." --Donald E. Knuth, The Art of Computer Programming "For more than a decade, Unicode has been a foundation for many Microsoft products and technologies; Unicode Standard Version 5.0 will help us deliver important new benefits to users." --Bill Gates, chairman, Microsoft Corporation "The path W3C follows to making text on the Web truly global is Unicode." --Sir Tim Berners-Lee, kbe, Web inventor and director of the World Wide Consortium (W3C) "Without Unicode, Java wouldn't be Java, and the Internet would have a harder time connecting the people of the world." --James Gosling, Inventor of Java, Sun Microsystems, Inc. These and other software luminaries recognize that Unicode has become an indispensable tool for supporting an increasingly global marketplace (see inside for more acclaim). A comprehensive system of standards for representing alphabets throughout the world, Unicode is the basis for modern programming-- Windows, XML, Python, PERL, Mac OS, Linux--and every major search engine and browser in operation today. New to Unicode Version 5.0: - A stable foundation for Unicode Security Mechanisms - Property data for the Unicode Collation Algorithm and Common Locale Data Repository - Improvements to the Unicode Encoding Model for UTF-8 - Rigorous stability of case folding and identifiers for improved interoperability and backward compatibility--enabling additional new ways to optimize code - A systematic framework for improved text processing for greater reliability--covering combining characters, Unicode strings, line breaking, and segmentation This new edition of Unicode's official reference manual has been substantially updated to document the latest revisions to the Unicode Standard, with hundreds of pages of new information. It includes major revisions to text, figures, tables, definitions, and conformance clauses, and provides clear and practical answers to common questions. For the first time, the book contains the Unicode Standard Annexes, which specify vital processes such as text normalization and identifier parsing. These improvements are so important that Version 5.0 is the basis for Microsoft's Vista generation of operating systems, and is included in upgrade plans for Google, Yahoo!, and ICU, to name but a few. This is the one book all developers using Unicode must have.},
author = {{The Unicode Consortium} and Allen, Julie },
citeulike-article-id = {2065295},
edition = {Fifth},
howpublished = {Hardcover},
isbn = {0321480910},
keywords = {unicode},
month = {November},
posted-at = {2008-02-07 15:10:27},
priority = {1},
publisher = {Addison-Wesley Professional},
title = {{T}he {U}nicode {S}tandard, {V}ersion 5.0},
year = {2006}
}
@inproceedings{burden05:lcfrs,
address = {Vancouver, British Columbia},
author = {Burden, H\r{a}kan and Ljungl\"{o}f, Peter },
booktitle = {{P}roceedings of the {N}inth {I}nternational {W}orkshop on {P}arsing {T}echnology},
citeulike-article-id = {2349372},
keywords = {grammars},
pages = {11--17},
posted-at = {2008-02-07 15:00:18},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{P}arsing {L}inear {C}ontext-{F}ree {R}ewriting {S}ystems},
url = {http://www.aclweb.org/anthology/W/W05/W05-1502},
year = {2005}
}
@inproceedings{loh06:open-data-types,
address = {New York, NY, USA},
author = {L\"oh, Andres and Hinze, Ralf },
booktitle = {{P}{P}{D}{P} '06: {P}roceedings of the 8th {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} symposium on {P}rinciples and practice of declarative programming},
citeulike-article-id = {2204432},
isbn = {1595933883},
keywords = {haskell},
pages = {133--144},
posted-at = {2008-01-07 17:08:47},
priority = {0},
publisher = {ACM},
title = {{O}pen data types and open functions},
url = {http://portal.acm.org/citation.cfm?id=1140352},
year = {2006}
}
@inproceedings{petersson89:tree-set-constructor,
author = {Petersson, Kent and Synek, Dan },
booktitle = {{C}ategory {T}heory and {C}omputer {S}cience},
citeulike-article-id = {2204359},
keywords = {type-theory},
pages = {128--140},
posted-at = {2008-01-07 16:31:45},
priority = {0},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{A} set constructor for inductive sets in {M}artin-{L}\"{o}f's type theory},
url = {http://dx.doi.org/10.1007/BFb0018349},
volume = {389},
year = {1989}
}
@phdthesis{forsberg07:phd,
author = {Forsberg, Markus },
citeulike-article-id = {2151429},
keywords = {haskell},
month = {September},
posted-at = {2007-12-20 12:02:51},
priority = {2},
school = {G\"{o}teborg University and Chalmers University of Technology},
title = {{T}hree {T}ools for {L}anguage {P}rocessing: {B}{N}{F} {C}onverter, {F}unctional {M}orphology, and {E}xtract},
url = {http://www.cs.chalmers.se/~markus/phd2007\_print\_version.pdf},
year = {2007}
}
@phdthesis{vene00:phd,
author = {Vene, Varmo },
citeulike-article-id = {2141253},
keywords = {haskell},
month = {May},
posted-at = {2007-12-18 15:08:10},
priority = {2},
school = {Faculty of Mathematics, University of Tartu, Estonia},
title = {{C}ategorial programming with inductive and coinductive types},
url = {http://www.cs.ut.ee/~varmo/papers/thesis.pdf},
year = {2000}
}
@inproceedings{gibbons06:iterator-msfp,
abstract = {The Iterator pattern gives a clean interface for element-by-element access to a collection. Imperative iterations using the pattern have two simultaneous aspects: mapping and accumulating. Various functional iterations model one or other of these, but not both simultaneously. We argue that McBride and Paterson's idioms, and in particular the corresponding traverse operator, do exactly this, and therefore capture the essence of the Iterator pattern. We present some axioms for traversal, and illustrate with a simple example, the repmin problem.},
author = {Gibbons, Jeremy and Oliveira, Bruno C. },
booktitle = {{M}athematically-{S}tructured {F}unctional {P}rogramming, {K}uressaare, {E}stonia},
citeulike-article-id = {2105258},
editor = {McBride, Conor and Uustalu, Tarmo },
keywords = {haskell},
month = {July},
posted-at = {2007-12-13 16:19:29},
priority = {2},
title = {{T}he {E}ssence of the {I}terator {P}attern},
url = {http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf},
year = {2006}
}
@inproceedings{leivant83:polymorphic-type-inference,
address = {New York, NY, USA},
author = {Leivant, Daniel },
booktitle = {{P}{O}{P}{L} '83: {P}roceedings of the 10th {A}{C}{M} {S}{I}{G}{A}{C}{T}-{S}{I}{G}{P}{L}{A}{N} symposium on {P}rinciples of programming languages},
citeulike-article-id = {2057629},
doi = {10.1145/567067.567077},
isbn = {0897910907},
keywords = {type-systems},
pages = {88--98},
posted-at = {2007-12-04 17:31:44},
priority = {2},
publisher = {ACM},
title = {{P}olymorphic type inference},
url = {http://portal.acm.org/citation.cfm?id=567077},
year = {1983}
}
@article{peyton-jones07:arbitrary-rank,
address = {New York, NY, USA},
author = {Peyton Jones, Simon and Vytiniotis, Dimitrios and Weirich, Stephanie and Shields, Mark },
citeulike-article-id = {2057614},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {haskell},
number = {1},
pages = {1--82},
posted-at = {2007-12-04 17:23:39},
priority = {2},
publisher = {Cambridge University Press},
title = {{P}ractical type inference for arbitrary-rank types},
url = {http://research.microsoft.com/~simonpj/papers/higher-rank/},
volume = {17},
year = {2007}
}
@inproceedings{coquand99:stt,
abstract = {We present our implementation AGDA of type theory. We limit ourselves in this presentation to a rather primitive form of type theory (dependent product with a simple notion of sorts) that we extend to structure facility we find in most programming language: let expressions (local definition) and a package mechanism. We call this language Structured Type Theory.},
author = {Coquand, Catarina and Coquand, Thierry },
booktitle = {{W}orkshop on {L}ogical {F}rameworks and {M}eta-languages ({L}{F}{M}'99), {P}aris, {F}rance},
citeulike-article-id = {612077},
keywords = {agda},
month = {September},
posted-at = {2007-12-04 16:15:10},
priority = {2},
title = {{S}tructured type theory},
url = {http://citeseer.ist.psu.edu/coquand99structured.html},
year = {1999}
}
@phdthesis{norell07:phd,
address = {G\"{o}teborg, Sweden},
author = {Norell, Ulf },
citeulike-article-id = {2057448},
keywords = {agda},
posted-at = {2007-12-04 16:11:47},
priority = {2},
school = {Department of Computer Science and Engineering, Chalmers University of Technology},
title = {{T}owards a practical programming language based on dependent type theory},
url = {http://www.cs.chalmers.se/~ulfn/papers/thesis.pdf},
year = {2007}
}
@techreport{bringert07:lic,
author = {Bringert, Bj\"{o}rn },
citeulike-article-id = {1781526},
institution = {Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg},
number = {40L},
posted-at = {2007-10-17 22:53:47},
priority = {0},
title = {{C}ompiling {G}rammar-based {S}peech {A}pplication {C}omponents},
url = {http://www.cs.chalmers.se/~bringert/publ/lic/lic.pdf},
year = {2007}
}
@inproceedings{bringert04:haskelldb,
address = {New York, NY, USA},
author = {Bringert, Bj\"{o}rn and H\"{o}ckersten, Anders and Andersson, Conny and Andersson, Martin and Bergman, Mary and Blomqvist, Victor and Martin, Torbj\"{o}rn },
booktitle = {{H}askell '04: {P}roceedings of the 2004 {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} workshop on {H}askell},
citeulike-article-id = {1781500},
doi = {10.1145/1017472.1017473},
isbn = {1581138504},
keywords = {haskell},
pages = {108--115},
posted-at = {2007-10-17 22:40:07},
priority = {0},
publisher = {ACM Press},
title = {{S}tudent paper: {H}askell{D}{B} improved},
url = {http://portal.acm.org/citation.cfm?id=1017473},
year = {2004}
}
@inproceedings{bringert06:composop,
address = {New York, NY, USA},
author = {Bringert, Bj\"{o}rn and Ranta, Aarne },
booktitle = {{I}{C}{F}{P} '06: {P}roceedings of the eleventh {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} international conference on {F}unctional programming},
citeulike-article-id = {1781499},
doi = {10.1145/1159803.1159834},
issn = {0362-1340},
keywords = {haskell},
pages = {216--226},
posted-at = {2007-10-17 22:38:21},
priority = {0},
publisher = {ACM Press},
title = {{A} pattern for almost compositional functions},
url = {http://portal.acm.org/citation.cfm?id=1159803.1159834},
year = {2006}
}
@incollection{citeulike:1632206,
abstract = {We describe an extension of Martin-Lf's type theory with dependent record types and subtyping and use it for obtaining a formal definition of a general structure of the algorithms of sorting by insertion. We start by giving a general formulation of the sorting problem according to which the most general sorting algorithms are those that can be used for ordering lists over any set, along any total relation on the set. In particular, the best known members of the family of algorithms of sorting by insertion, namely straight insertion sort and tree sort, are of this kind. The proposed structure of the algorithms of sorting by insertion is based upon a specification of an abstract data type, which we call of insertion structures. The general method of sorting by insertion is then written as a program depending on unspecified implementation of insertion structures. We therefore call it abstract insertion sort. The concrete algorithms of sorting by insertion correspond to particular implementations of insertion structures. We discuss how it is possible to peecify the operations on insertion structures so as to accurately describe the intended family of algorithms. We also derive axioms for the insertion structures so as to obtain a natural decomposition into lemmas of the proofs of correctness of the algorithms of the family. The whole work serves to illustrate how abstract data types and their implementations can be formally treated in the considered extension of type theory. All the definitions are presented here in ordinary mathematical language using the concepts and some of the notation of the formal theory. They have also been totally formalized and verified using a type checker for the extended theory that has been implemented.},
author = {Tasistro, Alvaro },
citeulike-article-id = {1632206},
doi = {10.1007/BFb0097801},
journal = {{T}ypes for {P}roofs and {P}rograms},
keywords = {type-theory},
pages = {354--372},
posted-at = {2007-09-07 17:43:04},
priority = {2},
title = {{A}bstract insertion sort in an extension of type theory with record types and subtyping},
url = {http://dx.doi.org/10.1007/BFb0097801},
year = {1998}
}
@inproceedings{bringert07:voicexml,
address = {Antwerp, Belgium},
author = {Bringert, Bj\"{o}rn },
booktitle = {{P}roceedings of the 8th {S}{I}{G}dial {W}orkshop on {D}iscourse and {D}ialogue},
citeulike-article-id = {1613592},
editor = {Keizer, Simon and Bunt, Harry and Paek, Tim },
keywords = {gf},
month = {September},
pages = {223--226},
posted-at = {2007-09-02 13:55:03},
priority = {0},
title = {{R}apid {D}evelopment of {D}ialogue {S}ystems by {G}rammar {C}ompilation},
year = {2007}
}
@inproceedings{kron-EtAl:2007:SPEECHGRAM,
address = {Prague, Czech Republic},
author = {Kron, Elisabeth and Rayner, Manny and Santaholma, Marianne and Bouillon, Pierrette },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613589},
keywords = {speech},
month = {June},
pages = {49--52},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{A} {D}evelopment {E}nvironment for {B}uilding {G}rammar-{B}ased {S}peech-{E}nabled {A}pplications},
url = {http://www.aclweb.org/anthology/W/W07/W07-1807},
year = {2007}
}
@inproceedings{bouillon-EtAl:2007:SPEECHGRAM,
address = {Prague, Czech Republic},
author = {Bouillon, Pierrette and Flores, Glenn and Starlander, Marianne and Chatzichrisafis, Nikos and Santaholma, Marianne and Tsourakis, Nikos and Rayner, Manny and Hockey, Beth A. },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613588},
keywords = {speech},
month = {June},
pages = {41--48},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{A} {B}idirectional {G}rammar-{B}ased {M}edical {S}peech {T}ranslator},
url = {http://www.aclweb.org/anthology/W/W07/W07-1806},
year = {2007}
}
@inproceedings{paek-EtAl:2007:SPEECHGRAM,
address = {Prague, Czech Republic},
author = {Paek, Tim and Gandhe, Sudeep and Chickering, Max and Ju, Yun C. },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613587},
keywords = {speech},
month = {June},
pages = {33--40},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{H}andling {O}ut-of-{G}rammar {C}ommands in {M}obile {S}peech {I}nteraction {U}sing {B}ackoff {F}iller {M}odels},
url = {http://www.aclweb.org/anthology/W/W07/W07-1805},
year = {2007}
}
@inproceedings{jonson:2007:SPEECHGRAM,
address = {Prague, Czech Republic},
author = {Jonson, Rebecca },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613586},
keywords = {speech},
month = {June},
pages = {25--32},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{G}rammar-based context-specific statistical language modelling},
url = {http://www.aclweb.org/anthology/W/W07/W07-1804},
year = {2007}
}
@inproceedings{perera07:localizing,
address = {Prague, Czech Republic},
author = {Perera, Nadine and Ranta, Aarne },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613585},
keywords = {speech},
pages = {17--24},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{D}ialogue {S}ystem {L}ocalization with the {G}{F} {R}esource {G}rammar {L}ibrary},
url = {http://www.aclweb.org/anthology/W/W07/W07-1803},
year = {2007}
}
@inproceedings{ljunglof07:gf-regulus,
address = {Prague, Czech Republic},
author = {Ljungl\"{o}f, Peter },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613584},
keywords = {speech},
pages = {9--16},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{C}onverting {G}rammatical {F}ramework to {R}egulus},
url = {http://www.aclweb.org/anthology/W/W07/W07-1802},
year = {2007}
}
@inproceedings{bringert07:gf-srg,
address = {Prague, Czech Republic},
author = {Bringert, Bj\"{o}rn },
booktitle = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
citeulike-article-id = {1613583},
keywords = {speech},
pages = {1--8},
posted-at = {2007-09-02 13:44:40},
priority = {0},
title = {{S}peech {R}ecognition {G}rammar {C}ompilation in {G}rammatical {F}ramework},
url = {http://www.aclweb.org/anthology/W/W07/W07-1801},
year = {2007}
}
@book{SPEECHGRAM:2007,
address = {Prague, Czech Republic},
citeulike-article-id = {1613582},
editor = {Bouillon, Pierrette and Rayner, Manny },
keywords = {speech},
month = {June},
posted-at = {2007-09-02 13:44:40},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{P}roceedings of the {W}orkshop on {G}rammar-{B}ased {A}pproaches to {S}poken {L}anguage {P}rocessing},
url = {http://www.aclweb.org/anthology/W/W07/W07-18},
year = {2007}
}
@misc{nagayama06:agda-tutorial,
address = {Japan},
author = {Nagayama, Misao and Nishihara, Hideaki and Takeyama, Makoto },
citeulike-article-id = {1596115},
institution = {Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST)},
keywords = {agda, type-theory},
month = {May},
posted-at = {2007-08-27 12:41:51},
priority = {2},
title = {{A}n {A}gda {T}utorial},
url = {http://unit.aist.go.jp/cvs/Agda/tutorial/},
year = {2006}
}
@article{wadler90:deforestation,
abstract = {An algorithm that transforms programs to eliminate intermediate trees is presented. The algorithm applies to any term containing only functions with definitions in a given syntactic form, and is suitable for incorporation in an optimizing compiler.},
author = {Wadler, Philip },
citeulike-article-id = {1595817},
doi = {10.1016/0304-3975(90)90147-A},
journal = {{T}heoretical {C}omputer {S}cience},
month = {June},
number = {2},
pages = {231--248},
posted-at = {2007-08-27 09:41:44},
priority = {2},
title = {{D}eforestation: transforming programs to eliminate trees},
url = {http://dx.doi.org/10.1016/0304-3975(90)90147-A},
volume = {73},
year = {1990}
}
@incollection{citeulike:1583071,
abstract = {Generic programming allows you to write a function once, and use it many times at different types. Traditionally, generic functions are defined by induction on the structure of types. “Scrap your boilerplate” (SYB) is a radically different approach that dispatches on the structure of values. In previous work, we have shown how to reconcile both approaches using the concept of generic views: many generic functions can be based either on the classical sum-of-products view or on the view that underlies SYB, the so-called ‘spine’ view. One distinct advantage of the spine view is its generality: it is applicable to a large class of data types, including generalised algebraic data types. Its main weakness roots in the value-orientation: one can only define generic functions that consume data () but not ones that produce data (). Furthermore, functions that abstract over type constructors (, ) are out of reach. In this paper, we show how to overcome both limitations. The main technical contributions are the ‘type spine’ view and the ‘lifted spine’ view.},
author = {Hinze, Ralf and L\"{o}h, Andres },
citeulike-article-id = {1583071},
doi = {10.1007/11783596\_13},
journal = {{M}athematics of {P}rogram {C}onstruction},
keywords = {generics, haskell},
pages = {180--208},
posted-at = {2007-08-22 15:08:52},
priority = {2},
series = {Lecture Notes in Computer Science},
title = {"{S}crap {Y}our {B}oilerplate" {R}evolutions},
url = {http://dx.doi.org/10.1007/11783596\_13},
volume = {4014},
year = {2006}
}
@inproceedings{ssdgp,
abstract = {A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated~--- the so-called \emph{genericity} of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and floating-point numbers,through structured values, types and classes, to kinds (the type of types and/or classes). \emph{Datatype-generic programming} is about parametrising programs by the structure of the data that they manipulate, exploiting that structure when it is relevant and ignoring it when it is not. Programming languages most commonly used at the present time do not provide effective mechanisms for documenting and implementing datatype genericity. This volume is a contribution towards improving the state of the art.},
booktitle = {{S}pring {S}chool on {D}atatype-{G}eneric {P}rogramming},
citeulike-article-id = {1569739},
editor = {Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan },
keywords = {generics},
posted-at = {2007-08-16 17:59:11},
priority = {0},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {{S}pring {S}chool on {D}atatype-{G}eneric {P}rogramming},
url = {http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/ssdgp-preface.pdf},
volume = {4719},
year = {2007}
}
@inproceedings{gibbons07:dgp,
abstract = {Generic programming aims to increase the flexibility of programming languages, by expanding the possibilities for parametrization~--- ideally, without also expanding the possibilities for uncaught errors. The term means different things to different people: parametric polymorphism, data abstraction, meta-programming, and so on. We use it to mean polytypism, that is, parametrization by the shape of data structures rather than their contents. To avoid confusion with other uses, we have coined the qualified term datatype-generic programming for this purpose. In these lecture notes, we expand on the definition of datatype-generic programming, and present some examples of datatype-generic programs. We also explore the connection with design patterns in object-oriented programming; in particular, we argue that certain design patterns are just higher-order datatype-generic programs.},
author = {Gibbons, Jeremy },
booktitle = {{S}pring {S}chool on {D}atatype-{G}eneric {P}rogramming},
citeulike-article-id = {1569738},
editor = {Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan },
keywords = {generics},
posted-at = {2007-08-16 17:59:11},
priority = {0},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {{D}atatype-{G}eneric {P}rogramming},
url = {http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf},
volume = {4719},
year = {2007}
}
@inproceedings{meijer91:bananas,
author = {Meijer, Erik and Fokkinga, Maarten and Paterson, Ross },
booktitle = {{P}roceedings of the 5th {A}{C}{M} conference on {F}unctional programming languages and computer architecture},
citeulike-article-id = {141857},
isbn = {0387543961},
pages = {124--144},
posted-at = {2007-07-05 09:48:19},
priority = {2},
publisher = {Springer-Verlag New York, Inc.},
title = {{F}unctional programming with bananas, lenses, envelopes and barbed wire},
url = {http://portal.acm.org/citation.cfm?id=128035},
year = {1991}
}
@inproceedings{uustalu00:mendler,
author = {Uustalu, Tarmo and Vene, Varmo },
booktitle = {{P}roceedings of the 2nd {W}orkshop on {G}eneric {P}rogramming},
citeulike-article-id = {1435285},
editor = {Jeuring, Johan },
howpublished = {Tech Report UU-CS-2000-19},
institution = {Department of Computer Science, Utrecht University},
keywords = {generics},
month = {July},
pages = {69--85},
posted-at = {2007-07-05 08:40:14},
priority = {2},
title = {{C}oding recursion a la {M}endler},
url = {http://cs.ioc.ee/~tarmo/papers/wgp00.ps.gz},
year = {2000}
}
@inproceedings{hinze06:generics-now,
author = {Hinze, Ralf and L\"{o}h, Andres },
booktitle = {{S}pring {S}chool on {G}eneric {P}rogramming},
citeulike-article-id = {1397557},
editor = {Backhouse, Roland and Gibbons, Jeremy and Hinze, Ralf and Jeuring, Johan },
keywords = {gadt, generics, haskell},
month = {April},
posted-at = {2007-06-18 21:24:04},
priority = {3},
title = {{G}eneric {P}rogramming, {N}ow!},
url = {http://www.informatik.uni-bonn.de/~ralf/publications/NOW.pdf},
year = {2006}
}
@article{sheard04:two-level-types,
address = {New York, NY, USA},
author = {Sheard, Tim and Pasalic, Emir },
citeulike-article-id = {1397548},
doi = {10.1017/S095679680300488X},
issn = {0956-7968},
journal = {{J}ournal of {F}unctional {P}rogrammming},
keywords = {generics, haskell},
month = {September},
number = {5},
pages = {547--587},
posted-at = {2007-06-18 21:15:14},
priority = {3},
publisher = {Cambridge University Press},
title = {{T}wo-level types and parameterized modules},
url = {http://portal.acm.org/citation.cfm?id=1014370.1014379},
volume = {14},
year = {2004}
}
@article{marlow02:hws,
author = {Marlow, Simon },
citeulike-article-id = {1374799},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {haskell, web},
month = {July},
number = {4+5},
pages = {359--374},
posted-at = {2007-06-10 00:15:01},
priority = {0},
title = {{D}eveloping a high-performance web server in {C}oncurrent {H}askell},
volume = {12},
year = {2002}
}
@book{appel97:mci-ml,
abstract = {This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual C header files. The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies.},
author = {Appel, Andrew W. },
citeulike-article-id = {1340607},
howpublished = {Hardcover},
isbn = {0521582741},
keywords = {compilers, ml},
month = {December},
posted-at = {2007-05-29 11:01:13},
priority = {2},
publisher = {Cambridge University Press},
title = {{M}odern {C}ompiler {I}mplementation in {M}{L}},
year = {1997}
}
@book{appel02:mci-java,
abstract = {This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes thorough coverage of current techniques in code generation and register allocation, and the compilation of functional and object-oriented languages. The most accepted and successful techniques are described and illustrated with actual Java^TM® classes. The first part is suitable for a one-semester first course in compiler design. The second part; which includes the compilation of object-oriented and functional languages, garbage collection, loop optimization, SSA form, instruction scheduling, and optimization for cache-memory hierarchies; can be used for a second-semester or graduate course. This new edition includes more discussion of Java and object-oriented programming concepts such as visitor patterns plus a new Mini-Java programming project. A unique feature is the newly redesigned compiler project in Java for a subset of Java itself. The project includes both front-end and back-end phases.},
author = {Appel, Andrew W. },
citeulike-article-id = {322547},
edition = {Second},
howpublished = {Hardcover},
isbn = {052182060X},
keywords = {compilers, java},
month = {October},
posted-at = {2007-05-29 10:51:33},
priority = {0},
publisher = {Cambridge University Press},
title = {{M}odern {C}ompiler {I}mplementation in {J}ava},
year = {2002}
}
@phdthesis{citeulike:1337722,
author = {Fielding, Roy T. },
citeulike-article-id = {1337722},
keywords = {rest, web},
posted-at = {2007-05-27 20:22:30},
priority = {4},
school = {University of California, Irvine},
title = {{A}rchitectural {S}tyles and the {D}esign of {N}etwork-based {S}oftware {A}rchitectures},
url = {http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm},
year = {2000}
}
@misc{ranta07:modular_grammar_engineering,
author = {Ranta, Aarne },
citeulike-article-id = {1337142},
comment = {To appear},
howpublished = {To appear in Research on Language and Computation},
keywords = {gf, multilingual},
posted-at = {2007-05-27 12:36:20},
priority = {0},
title = {{M}odular {G}rammar {E}ngineering in {G}{F}},
url = {http://www.cs.chalmers.se/~aarne/articles/multieng3.pdf},
year = {2007}
}
@inproceedings{visser01:visitor,
address = {New York, NY, USA},
author = {Visser, Joost },
booktitle = {{O}{O}{P}{S}{L}{A} '01: {P}roceedings of the 16th {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} conference on {O}bject oriented programming, systems, languages, and applications},
citeulike-article-id = {524244},
doi = {10.1145/504282.504302},
isbn = {1581133359},
keywords = {java},
month = {November},
number = {11},
pages = {270--282},
posted-at = {2007-04-19 13:49:28},
priority = {2},
publisher = {ACM Press},
title = {{V}isitor combination and traversal control},
url = {http://portal.acm.org/citation.cfm?id=504302},
volume = {36},
year = {2001}
}
@unpublished{augustsson94:silly-type-families,
author = {Augustsson, Lennart and Petersson, Kent },
citeulike-article-id = {1236900},
institution = {Chalmers University of Technology},
keywords = {gadt, haskell},
posted-at = {2007-04-19 13:48:08},
priority = {2},
title = {{S}illy type families},
url = {http://www.cs.pdx.edu/~sheard/papers/silly.pdf},
year = {1994}
}
@techreport{pellauer04:bnfc-tr,
author = {Pellauer, Michael and Forsberg, Markus and Ranta, Aarne },
citeulike-article-id = {1236898},
institution = {Department of Computing Science, Chalmers University of Technology and G\"{o}teborg University},
keywords = {bnfc, compilers},
number = {09},
posted-at = {2007-04-19 13:46:37},
priority = {2},
title = {{B}{N}{F} {C}onverter: {M}ultilingual {F}ront-{E}nd {G}eneration from {L}abelled {B}{N}{F}},
volume = {2004},
year = {2004}
}
@inproceedings{forsberg03:bnfc,
author = {Forsberg, Markus and Ranta, Aarne },
booktitle = {{N}{W}{P}{T}'02 proceedings, {P}roceedings of the {E}stonian {A}cademy of {S}ciences},
citeulike-article-id = {1236893},
keywords = {bnfc, compilers},
month = {December},
posted-at = {2007-04-19 13:43:56},
priority = {2},
title = {{T}he {B}{N}{F} {C}onverter: {A} {H}igh-{L}evel {T}ool for {I}mplementing {W}ell-{B}ehaved {P}rogramming {L}anguages},
url = {http://www.cs.chalmers.se/~markus/BNFC/BNF\_Report.ps.gz},
year = {2003}
}
@inproceedings{jansson97:polyp,
address = {New York, NY, USA},
author = {Jansson, Patrik and Jeuring, Johan },
booktitle = {{P}roceedings of the 24th {A}{C}{M} {S}{I}{G}{P}{L}{A}{N}-{S}{I}{G}{A}{C}{T} symposium on {P}rinciples of programming languages ({P}{O}{P}{L})},
citeulike-article-id = {1236888},
doi = {10.1145/263699.263763},
isbn = {0897918533},
keywords = {generics, haskell},
pages = {470--482},
posted-at = {2007-04-19 13:41:30},
priority = {2},
publisher = {ACM Press},
title = {{P}oly{P} - a polytypic programming language extension},
url = {http://portal.acm.org/citation.cfm?id=263763},
year = {1997}
}
@article{sarkar05:nanopass-jfp,
address = {New York, NY, USA},
author = {Sarkar, Dipanwita and Waddell, Oscar and Dybvig, Kent R. },
citeulike-article-id = {1236876},
doi = {10.1017/S0956796805005605},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {compilers, scheme},
number = {5},
pages = {653--667},
posted-at = {2007-04-19 13:32:27},
priority = {0},
publisher = {Cambridge University Press},
title = {{E}{D}{U}{C}{A}{T}{I}{O}{N}{A}{L} {P}{E}{A}{R}{L}: {A} {N}anopass framework for compiler education},
url = {http://dx.doi.org/10.1017/S0956796805005605},
volume = {15},
year = {2005}
}
@article{dybjer94:inductive-families,
author = {Dybjer, Peter },
citeulike-article-id = {1236872},
doi = {10.1007/BF01211308},
journal = {{F}ormal {A}spects of {C}omputing},
keywords = {type-theory},
month = {July},
number = {4},
pages = {440--465},
posted-at = {2007-04-19 13:30:25},
priority = {2},
title = {{I}nductive families},
url = {http://dx.doi.org/10.1007/BF01211308},
volume = {6},
year = {1994}
}
@inproceedings{bracha98:generic-java,
abstract = {We present GJ, a design that extends the Java programming language with generic types and methods. These are both explained and implemented by translation into the unextended language. The translation closely mimics the way generics are emulated by programmers: it erases all type parameters, maps type variables to their bounds, and inserts casts where needed. Some subtleties of the translation are caused by the handling of overriding. GJ increases expressiveness and safety: code utilizing...},
address = {Vancouver, BC},
author = {Bracha, Gilad and Odersky, Martin and Stoutamire, David and Wadler, Philip },
booktitle = {{A}{C}{M} {S}ymposium on {O}bject {O}riented {P}rogramming: {S}ystems, {L}anguages, and {A}pplications ({O}{O}{P}{S}{L}{A})},
citeulike-article-id = {846194},
editor = {Chambers, Craig },
keywords = {java},
pages = {183--200},
posted-at = {2007-04-19 13:27:21},
priority = {0},
title = {{M}aking the {F}uture {S}afe for the {P}ast: {A}dding {G}enericity to the {J}ava {P}rogramming {L}anguage},
url = {http://citeseer.ist.psu.edu/bracha98making.html},
year = {1998}
}
@book{gamma95:design-patterns,
address = {Boston, MA, USA},
author = {Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John },
citeulike-article-id = {257271},
isbn = {0201633612},
posted-at = {2007-04-19 13:19:49},
priority = {2},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
title = {{D}esign patterns: elements of reusable object-oriented software},
url = {http://portal.acm.org/citation.cfm?id=186897},
year = {1995}
}
@inproceedings{sheard02:template-haskell,
author = {Sheard, Tim and Peyton Jones, Simon },
booktitle = {{H}askell '02: {P}roceedings of the {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} workshop on {H}askell},
citeulike-article-id = {3211},
doi = {10.1145/581690.581691},
isbn = {1581136056},
keywords = {haskell},
pages = {1--16},
posted-at = {2007-04-19 13:15:43},
priority = {2},
publisher = {ACM Press},
title = {{T}emplate meta-programming for {H}askell},
url = {http://portal.acm.org/citation.cfm?id=581691},
year = {2002}
}
@inproceedings{rayner03:regulus,
address = {Morristown, NJ, USA},
author = {Rayner, Manny and Hockey, Beth A. and Dowding, John },
booktitle = {{E}{A}{C}{L} '03: {P}roceedings of the tenth conference on {E}uropean chapter of the {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {1236826},
isbn = {1111567890},
keywords = {grammars, regulus},
pages = {223--226},
posted-at = {2007-04-19 12:57:52},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{A}n open source environment for compiling typed unification grammars into speech recognisers},
url = {http://portal.acm.org/citation.cfm?id=1067790},
year = {2003}
}
@inproceedings{johnston98:multimodal-parsing,
address = {Morristown, NJ, USA},
author = {Johnston, Michael },
booktitle = {{P}roceedings of the 36th annual meeting on {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {1236817},
keywords = {multimodal},
pages = {624--630},
posted-at = {2007-04-19 12:55:13},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{U}nification-based multimodal parsing},
url = {http://portal.acm.org/citation.cfm?id=980949},
year = {1998}
}
@book{milner97:ml-definition,
abstract = {Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.
One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.
In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation.
The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.},
author = {Milner, Robin and Tofte, Mads and Harper, Robert and Macqueen, David },
citeulike-article-id = {113339},
howpublished = {Paperback},
isbn = {0262631814},
keywords = {ml, programming},
month = {May},
posted-at = {2007-04-19 12:49:22},
priority = {2},
publisher = {The MIT Press},
title = {{T}he {D}efinition of {S}tandard {M}{L} - {R}evised},
year = {1997}
}
@inbook{magnusson94:alf,
author = {Magnusson, Lena and Nordstr\"{o}m, Bengt },
booktitle = {{T}ypes for {P}roofs and {P}rograms},
citeulike-article-id = {1236801},
doi = {10.1007/3-540-58085-9\_78},
journal = {{T}ypes for {P}roofs and {P}rograms},
keywords = {type-theory},
pages = {213--237},
posted-at = {2007-04-19 12:44:18},
priority = {2},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{T}he {A}lf proof editor and its proof engine},
url = {http://dx.doi.org/10.1007/3-540-58085-9\_78},
volume = {806},
year = {1994}
}
@article{harper93:lf,
author = {Harper, Robert and Honsell, Furio and Plotkin, Gordon },
citeulike-article-id = {99878},
doi = {10.1145/138027.138060},
issn = {0004-5411},
journal = {{J}. {A}{C}{M}},
keywords = {type-theory},
month = {January},
number = {1},
pages = {143--184},
posted-at = {2007-04-19 12:42:30},
priority = {2},
publisher = {ACM Press},
title = {{A} framework for defining logics},
url = {http://portal.acm.org/citation.cfm?id=138060},
volume = {40},
year = {1993}
}
@article{martin99:oaa,
abstract = {The Open Agent Architecture (OAA), developed and used for several years at SRI International, makes it possible for software services to be provided through the cooperative efforts of distributed collections of autonomous agents. Communication and cooperation between agents are brokered by one or more facilitators, which are responsible for matching requests, from users and agents, with descriptions of the capabilities of other agents. Thus it is not generally required that a user or agent know the identities, locations, or number of other agents involved in satisfying a request. OAA is structured so as to minimize the effort involved in creating new agents and "wrapping" legacy applications, written in various languages and operating on various platforms; to encourage the reuse of existing agents; and to allow for dynamism and flexibility in the makeup of agent communities. Distinguishing features of OAA as compared with related work include extreme flexibility in using facilitator-based delegation of complex goals, triggers, and data management requests; agent-based provision of multimodal user interfaces; and built-in support for including the user as a privileged member of the agent community. This article explains the structure and elements of agent-based systems constructed using OAA. The characteristics and use of each major component of OAA infrastructure are described, including the agent library, the Interagent Communication Language, capabilities declarations, service requests, facilitation, management of data repositories, and autonomous monitoring using triggers. To provide technical context, we describe the motivations for OAA's design, and situate its features within the realm of alternative software paradigms. A summary is given of OAA-based systems built to date, and brief descriptions are given of several of these. Copyright {\copyright} 1999 Taylor \& Francis.},
address = {Artificial Intelligence Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, United States},
author = {Martin, David L. and Cheyer, Adam J. and Moran, Douglas B. },
citeulike-article-id = {1236787},
journal = {{A}pplied {A}rtificial {I}ntelligence},
keywords = {oaa, prolog},
number = {1-2},
pages = {91--128},
posted-at = {2007-04-19 12:38:37},
priority = {2},
title = {{T}he open agent architecture: {A} framework for building distributed software systems},
url = {http://www.scopus.com/scopus/record/display.url?view=extended&origin=resultslist&eid=2-s2.0-0032805927},
volume = {13},
year = {1999}
}
@mastersthesis{bringert05:embedded-grammars,
address = {G\"oteborg, Sweden},
author = {Bringert, Bj\"orn },
citeulike-article-id = {1236783},
keywords = {gf, grammars},
month = {February},
posted-at = {2007-04-19 12:36:15},
priority = {2},
school = {Chalmers University of Technology},
title = {{E}mbedded {G}rammars},
url = {http://www.cs.chalmers.se/~bringert/publ/exjobb/embedded-grammars.pdf},
year = {2005}
}
@inproceedings{citeulike:1234225,
abstract = {Following up with the speech technology development, spoken dialogue systems are getting commercialized. Many public service companies, such as call centres, tourist information centres, travel agencies, etc., are applying spoken dialogue systems for customer communication. However, there are many usability problems with these spoken dialogue systems. A study of the usability and user's experience of a consumer Swedish spoken dialog system is reported here. Six users went through three different scenarios in a home environment during the tests. The analysis of the participant's conversation with the dialogue system, observations, interviews and questionnaire were used as the testing methods. The result shows that the system is working, since all the users concluded their tasks. However, there are a few usability problems were found. These problems are: the understanding between the user and the system, the system's flexibility, naturalness, and correctness, error handling and the user's control of the system, as well as the information overloading to user's memory. Concerning the user's experience, the study showed that the variables as elegance, emotion, encouragement, intelligence or personality were not present. These variables would affect users' attitude towards the system. Sponsors: Vodafone},
address = {Interaction Design Group, Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden},
author = {Chen, F. and Katzenellenbogen, Y. },
citeulike-article-id = {1234225},
journal = {{E}ur. {C}onf. {S}peech {C}ommun. {T}echnol.},
keywords = {dialogue},
pages = {2505--2508},
posted-at = {2007-04-18 15:49:49},
priority = {2},
series = {9th European Conference on Speech Communication and Technology},
title = {{U}ser's experience of a commercial speech dialogue system},
url = {http://www.scopus.com/scopus/record/display.url?view=extended&origin=resultslist&eid=2-s2.0-33745187345}
}
@inproceedings{schultz04:thai-medical,
address = {Boston, Massachusetts, USA},
author = {Schultz, Tanja and Alexander, Dorcas and Black, Alan W. and Peterson, Kay and Suebvisai, Sinaporn and Waibel, Alex },
booktitle = {{H}{L}{T}-{N}{A}{A}{C}{L} 2004: {D}emonstration {P}apers},
citeulike-article-id = {1234134},
editor = {Daniel and Roukos, Salim },
keywords = {translation},
pages = {34--35},
posted-at = {2007-04-18 15:12:52},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{A} {T}hai {S}peech {T}ranslation {S}ystem for {M}edical {D}ialogs},
year = {2004}
}
@inproceedings{waibel04:speech-translation-past-present-future,
author = {Waibel, Alex },
booktitle = {{I}{N}{T}{E}{R}{S}{P}{E}{E}{C}{H}-2004},
citeulike-article-id = {1234107},
keywords = {translation},
month = {October},
pages = {353--356},
posted-at = {2007-04-18 15:00:06},
priority = {2},
title = {{S}peech {T}ranslation: {P}ast, {P}resent and {F}uture},
url = {http://scholar.google.com/scholar?q=cache:data.cstr.ed.ac.uk/internal/library/proceedings/2004/icslp2004/contents/TuB\_pdf/Spec3801o/Spec3801o.1\_p1342.pdf},
year = {2004}
}
@techreport{rayner05:clarissa-tr,
address = {Berkeley, California},
author = {Rayner, Manny and Hockey, Beth A. and Renders, Jean-Michel and Chatzichrisafis, Nikos and Farrell, Kim },
citeulike-article-id = {1233535},
howpublished = {Technical report TR-05-005},
institution = {International Computer Science Institute},
keywords = {dialogue, regulus},
month = {April},
posted-at = {2007-04-18 12:37:23},
priority = {2},
title = {{S}poken {L}anguage {P}rocessing in the {C}larissa {P}rocedure {B}rowser},
url = {ftp://ftp.icsi.berkeley.edu/pub/techreports/2005/tr-05-005.pdf},
year = {2005}
}
@inproceedings{rayner05:clarissa-demo,
address = {Morristown, NJ, USA},
author = {Rayner, Manny and Hockey, Beth A. and Chatzichrisafis, Nikos and Farrell, Kim and Renders, Jean-Michel },
booktitle = {{A}{C}{L} '05: {P}roceedings of the {A}{C}{L} 2005 on {I}nteractive poster and demonstration sessions},
citeulike-article-id = {1233528},
keywords = {dialogue, regulus},
pages = {29--32},
posted-at = {2007-04-18 12:32:59},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{A} voice enabled procedure browser for the {I}nternational {S}pace {S}tation},
url = {http://portal.acm.org/citation.cfm?id=1225761},
year = {2005}
}
@article{araki05:miml,
abstract = {In this paper, we propose a new multimodal interaction description language, MIML (Multimodal Interaction Markup Language), which defines dialogue patterns between human and various types of interactive agents. The feature of this language is three-layered description of agent-based interactive systems. The high-level description is a task definition that can easily construct typical agent-based interactive task control information. The middle-level description is an interaction description that defines agent's behavior and user's input at the granularity of dialogue segment. The low-level description is a platform dependent description that can override the pre-defined function in the interaction description. The connection between task-level and interaction-level is realized by generation of interaction description templates from the task level description. The connection between interaction-level and platform-level is realized by a binding mechanism of XML. As a result of the comparison with other languages, MIML has advantages in high-level interaction description, modality extensibility and compatibility with standardized technologies. Copyright {\copyright} 2005 The Institute of Electronics, Information and Communication Engineers.},
address = {ISCA},
author = {Araki, M. and Kouzawa, A. and Tachibana, K. },
citeulike-article-id = {1224352},
doi = {10.1093/ietisy/e88-d.11.2469},
journal = {{I}{E}{I}{C}{E} {T}rans {I}nf {S}yst},
keywords = {dialogue, multimodal},
number = {11},
pages = {2469--2476},
posted-at = {2007-04-13 17:18:08},
priority = {2},
title = {{P}roposal of a multimodal interaction description language for various interactive agents},
url = {http://dx.doi.org/10.1093/ietisy/e88-d.11.2469},
volume = {E88-D},
year = {2005}
}
@inproceedings{mctear99:cslu-toolkit,
abstract = {The development of a spoken dialogue system requires the integration of the various components of spoken language technology, such as speech recognition, natural language processing, dialogue modelling, and speech synthesis. Recently several toolkits have been developed that provide support for this process, enabling developers who have no specialist knowledge of the component technologies to produce working spoken dialogue systems with relative ease. This paper reports on the use of CSLU's RAD ...},
address = {Budapest, Hungary},
author = {McTear, Michael F. },
booktitle = {{P}roceedings of {E}urospeech'99},
citeulike-article-id = {1224308},
keywords = {dialogue},
posted-at = {2007-04-13 16:50:17},
priority = {2},
title = {{S}oftware to support research and development of spoken dialogue systems},
url = {http://citeseer.ist.psu.edu/548113.html},
year = {1999}
}
@inproceedings{rayner05:comparing-glm-slm,
abstract = {We present a series of experiments designed to compare grammar-based and robust approaches to speech understanding, performed in the context of an Open Source medical speech translation system. We used two versions of the system, one grammar-based and one robust, trained off the same training data, and evaluated them on test data collected using both versions of the system. The experiments were constructed so as to avoid several methodological problems which occurred in earlier work reported in the literature. We found that the grammarbased version gave significantly better results than the robust version, with the difference increasing as subjects became more familiar with the system’s coverage. The rate of improvement in subject performance was positively affected by providing them with an intelligent online help system.},
author = {Rayner, Manny and Bouillon, Pierrette and Chatzichrisafis, Nikos and Hockey, Beth A. and Santaholma, Marianne and Starlander, Marianne and Isahara, Hitoshi and Kanzaki, Kyoko and Nakao, Yukie },
booktitle = {{P}roceedings of {I}nterspeech 2005},
citeulike-article-id = {701487},
keywords = {dialogue, medslt, regulus, slm, srg},
posted-at = {2007-04-12 18:23:24},
priority = {2},
title = {{A} {M}ethodology for {C}omparing {G}rammar-{B}ased and {R}obust {A}pproaches to {S}peech {U}nderstanding},
url = {http://www.issco.unige.ch/pub/RaynerEAInterspeech2005.pdf},
year = {2005}
}
@article{katsurada05:interaction-builder,
abstract = {We have developed Interaction Builder (IB), a rapid prototyping tool for constructing web-based Multi-Modal Interaction (MMI) applications. The goal of IB is making it easy to develop MMI applications with speech recognition, life-like agents, speech synthesis, web browsing, etc. For this purpose, IB supports the following interface and functions: (1) GUI for implementing MMI systems without the details of MMI and MMI description language, (2) functionalities of handling synchronized multi-modal inputs/outputs, (3) a test run mode for run-time testing. The results of evaluation tests showed that the application development cycle using IB was significantly shortened in comparison with the time using a text editor both for MMI description language experts and for beginners. Copyright {\copyright} 2005 The Institute of Electronics, Information and Communication Engineers.},
address = {IEEE},
author = {Katsurada, K. and Adachi, H. and Sato, K. and Yamada, H. and Nitta, T. },
citeulike-article-id = {1222612},
doi = {10.1093/ietisy/e88-d.11.2461},
journal = {{I}{E}{I}{C}{E} {T}rans {I}nf {S}yst},
keywords = {dialogue},
number = {11},
pages = {2461--2467},
posted-at = {2007-04-12 18:17:10},
priority = {2},
title = {{I}nteraction builder: {A} rapid prototyping tool for developing web-based {M}{M}{I} applications},
url = {http://dx.doi.org/10.1093/ietisy/e88-d.11.2461},
volume = {E88-D},
year = {2005}
}
@book{rayner00:slt,
booktitle = {{C}ambridge {U}niversity {P}ress},
citeulike-article-id = {1222506},
doi = {10.2277/0521770777},
editor = {Rayner, Manny and Carter, David and Bouillon, Pierrette and Digalakis, Vassilis and Wir\'{e}n, Mats },
keywords = {translation},
month = {November},
posted-at = {2007-04-12 17:29:24},
priority = {2},
series = {Studies in Natural Language Processing},
title = {{T}he {S}poken {L}anguage {T}ranslator},
url = {http://dx.doi.org/10.2277/0521770777},
year = {2000}
}
@article{bouillon05:medslt,
address = {Budapest, Hungary},
author = {Bouillon, P. and Rayner, M. and Chatzichrisafis, N. and Hockey, B. A. and Santaholma, M. and Starlander, M. and Isahara, H. and Kanzaki, K. and Nakao, Y. },
booktitle = {{P}roceedings of the tenth {C}onference on {E}uropean {A}ssociation of {M}achine {T}ranslation},
citeulike-article-id = {1222500},
keywords = {medslt, multilingual, regulus, translation},
month = {May},
pages = {5--58},
posted-at = {2007-04-12 17:24:11},
priority = {2},
title = {{A} generic {M}ulti-{L}ingual {O}pen {S}ource {P}latform for {L}imited-{D}omain {M}edical {S}peech {T}ranslation},
url = {http://www.issco.unige.ch/pub/MedSLT\_demo\_EAMT05\_final.pdf},
year = {2005}
}
@inproceedings{rayner06:medslt-demo,
address = {New York, New York},
author = {Rayner, Manny and Bouillon, Pierrette and Chatzichrisafis, Nikos and Santaholma, Marianne and Starlander, Marianne and Hockey, Beth A. and Nakao, Yukie and Isahara, Hitoshi and Kanzaki, Kyoko },
booktitle = {{P}roceedings of the {F}irst {I}nternational {W}orkshop on {M}edical {S}peech {T}ranslation},
citeulike-article-id = {1222491},
keywords = {medslt, regulus, translation},
pages = {40--43},
posted-at = {2007-04-12 17:20:03},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{M}ed{S}{L}{T}: {A} {L}imited-{D}omain {U}nidirectional {G}rammar-{B}ased {M}edical {S}peech {T}ranslator},
url = {http://acl.ldc.upenn.edu//W/W06/W06-3707.pdf},
year = {2006}
}
@inproceedings{pieraccini05:where-do-we-go,
address = {Lisbon, Portugal},
author = {Pieraccini, Roberto and Huerta, Juan },
booktitle = {{P}roceedings of the 6th {S}{I}{G}dial {W}orkshop on {D}iscourse and {D}ialogue},
citeulike-article-id = {1222445},
keywords = {dialogue},
month = {September},
posted-at = {2007-04-12 16:43:31},
priority = {3},
title = {{W}here do we go from here? {R}esearch and commercial spoken dialog systems.},
url = {http://www.sigdial.org/workshops/workshop6/proceedings/pdf/65-SigDial2005\_8.pdf},
year = {2005}
}
@inproceedings{cole99:cslu-toolkit-multilingual,
address = {Leusden, The Netherlands},
author = {Cole, Ronald A. and Serridge, Ben and Hosom, John-Paul and Cronk, Andrew and Kaiser, Ed },
booktitle = {{P}roceedings of the {W}orkshop on {M}ulti-{L}ingual {I}nteroperability in {S}peech {T}echnology ({M}{I}{S}{T})},
citeulike-article-id = {1220872},
keywords = {dialogue, multilingual},
month = {September},
pages = {43--48},
posted-at = {2007-04-11 16:00:21},
priority = {2},
title = {{A} {P}latform for {M}ultilingual {R}esearch in {S}poken {D}ialogue {S}ystems},
url = {http://www.cslu.ogi.edu/people/hosom/pubs/cole\_MIST-platform\_1999.pdf},
year = {1999}
}
@article{citeulike:1220867,
address = {Amsterdam, The Netherlands, The Netherlands},
author = {Glass, James and Flammia, Giovanni and Goodine, David and Phillips, Michael and Polifroni, Joseph and Sakai, Shinsuke and Seneff, Stephanie and Zue, Victor },
citeulike-article-id = {1220867},
doi = {10.1016/0167-6393(95)00008-C},
issn = {0167-6393},
journal = {{S}peech {C}ommun.},
keywords = {dialogue, multilingual},
number = {1-2},
pages = {1--18},
posted-at = {2007-04-11 15:56:10},
priority = {2},
publisher = {Elsevier Science Publishers B. V.},
title = {{M}ultilingual spoken-language understanding in the {M}{I}{T} {V}oyager system},
url = {http://portal.acm.org/citation.cfm?id=211312},
volume = {17},
year = {1995}
}
@inproceedings{alshawi01:variant-transduction,
address = {Morristown, NJ, USA},
author = {Alshawi, Hiyan and Douglas, Shona },
booktitle = {{P}roceedings of the {S}econd {S}{I}{G}dial {W}orkshop on {D}iscourse and {D}ialogue},
citeulike-article-id = {1220864},
keywords = {dialogue},
pages = {1--9},
posted-at = {2007-04-11 15:51:01},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{V}ariant transduction: a method for rapid development of interactive spoken interfaces},
url = {http://portal.acm.org/citation.cfm?id=1118080},
year = {2001}
}
@inproceedings{denecke02:rapid-prototyping,
address = {Morristown, NJ, USA},
author = {Denecke, Matthias },
booktitle = {{P}roceedings of the 19th international conference on {C}omputational linguistics},
citeulike-article-id = {758434},
keywords = {dialogue},
pages = {1--7},
posted-at = {2007-04-11 15:49:30},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{R}apid prototyping for spoken dialogue systems},
url = {http://portal.acm.org/citation.cfm?id=1072375},
year = {2002}
}
@inproceedings{fliedner03:diamant,
address = {Wallerfangen, Germany},
author = {Fliedner, Gerhard and Bobbert, Daniel },
booktitle = {{P}roceedings of the 7th {W}orkshop on the {S}emantics and {P}ragmatics of {D}ialogue ({D}ia{B}ruck)},
citeulike-article-id = {1220862},
keywords = {dialogue},
posted-at = {2007-04-11 15:47:10},
priority = {2},
title = {{D}ia{M}ant: {A} {T}ool for {R}apidly {D}eveloping {S}poken {D}ialogue {S}ystems},
url = {http://www.coli.uni-saarland.de/conf/diabruck/submission\_finals/abstracts/320/demo\_320.pdf},
year = {2003}
}
@inproceedings{wang05:sgstudio,
address = {Lisbon, Portugal},
author = {Wang, Ye-Yi and Acero, Alex },
booktitle = {{P}roceedings of the {I}nterspeech {C}onference},
citeulike-article-id = {1220856},
keywords = {dialogue},
month = {September},
posted-at = {2007-04-11 15:43:09},
priority = {2},
title = {{S}{G}{S}tudio: {R}apid {S}emantic {G}rammar {D}evelopment for {S}poken {L}anguage {U}nderstanding},
url = {http://research.microsoft.com/srg/papers/2005-yeyiwang-eurospeech.pdf},
year = {2005}
}
@inproceedings{hamerich04:gemini-agp,
address = {Cambridge, Massachusetts, USA},
author = {Hamerich, Stefan and Schubert, Volker and Schless, Volker and de C\'{o}rdoba, Ricardo and Pardo, Jos\'{e} M. and d'Haro, Luis F. and Kladis, Basilis and Kocsis, Otilia and Igel, Stefan },
booktitle = {{P}roceedings of the 5th {S}{I}{G}dial {W}orkshop on {D}iscourse and {D}ialogue},
citeulike-article-id = {1220852},
editor = {Strube, Michael and Sidner, Candy },
keywords = {dialogue},
pages = {31--34},
posted-at = {2007-04-11 15:38:46},
priority = {3},
publisher = {Association for Computational Linguistics},
title = {{S}emi-{A}utomatic {G}eneration of {D}ialogue {A}pplications in the {G}{E}{M}{I}{N}{I} {P}roject},
url = {http://acl.ldc.upenn.edu/hlt-naacl2004/sigdial04/pdf/hamerich.pdf},
year = {2004}
}
@misc{citeulike:1191524,
abstract = {This report describes a portion of a software system for training phonetic hidden Markov
models (HMMs) for automatic speech recognition (ASR). This software was developed as
part of the 1993 MITRE Sponsored Research (MSR) project Spoken Language Interface
for Command and Control and the 1994 MSR project Spoken Language Interfaces. The
complete system consists of UNIX C-Shell scripts and programs written in Standard C
and the functional language Haskell. This report documents those programs...},
author = {Goblirsch, D. },
citeulike-article-id = {1191524},
keywords = {asr},
posted-at = {2007-03-28 14:55:53},
priority = {2},
title = {{A} software system for training phonetic hidden {M}arkov models},
url = {http://citeseer.ist.psu.edu/goblirsch94software.html},
year = {1994}
}
@manual{gansner06:dotguide,
author = {Gansner, Emden and Koutsofios, Eleftherios and North, Stephen },
citeulike-article-id = {1177739},
keywords = {dot, graphics, graphviz, manual},
month = {January},
posted-at = {2007-03-20 16:33:56},
priority = {0},
title = {{D}rawing graphs with dot},
url = {http://www.graphviz.org/Documentation/dotguide.pdf},
year = {2006}
}
@phdthesis{larsson02:issue-based,
author = {Larsson, Staffan },
citeulike-article-id = {1177735},
keywords = {dialogue, godis},
posted-at = {2007-03-20 16:32:36},
priority = {2},
school = {G\"{o}teborg University},
title = {{I}ssue-based {D}ialogue {M}anagement},
year = {2002}
}
@manual{young04:atk,
author = {Young, Steve },
citeulike-article-id = {1177666},
edition = {1.4.1},
keywords = {asr},
organization = {Machine Intelligence Laboratory, Cambridge University Engineering Dept},
posted-at = {2007-03-20 16:06:53},
priority = {2},
title = {{A}{T}{K} - {A}n {A}pplication {T}oolkit for {H}{T}{K}},
url = {http://mi.eng.cam.ac.uk/~sjy/ATK\_Manual.pdf},
year = {2004}
}
@incollection{nederhof01:regular-approximation-grammatical,
author = {Nederhof, Mark J. },
booktitle = {{A}dvances in {P}robabilistic and other {P}arsing {T}echnologies},
citeulike-article-id = {1177403},
editor = {Bunt, Harry and Nijholt, Anton },
keywords = {fsa, grammars},
pages = {221--241},
posted-at = {2007-03-20 13:47:59},
priority = {2},
publisher = {Kluwer Academic Publishers},
title = {{R}egular {A}pproximation of {C}{F}{L}s: {A} {G}rammatical {V}iew},
url = {http://www.dcs.st-and.ac.uk/~mjn/publications/2000d.pdf},
year = {2000}
}
@incollection{mohri01:regular-approximation-transformation,
address = {Dordrecht},
author = {Mohri, Mehryar and Nederhof, Mark J. },
booktitle = {{R}obustness in {L}anguage and {S}peech {T}echnology},
citeulike-article-id = {1177402},
editor = {Junqua, Jean C. and van Noord, Gertjan },
keywords = {fsa, grammars},
pages = {153--163},
posted-at = {2007-03-20 13:47:59},
priority = {2},
publisher = {Kluwer Academic Publishers},
title = {{R}egular {A}pproximation of {C}ontext-{F}ree {G}rammars through {T}ransformation},
url = {http://www.coli.uni-sb.de/publikationen/softcopies/Mohri:2001:RAC.pdf},
year = {2001}
}
@incollection{brzozowski62:minimal-state-graphs,
author = {Brzozowski, Janusz A. },
booktitle = {{M}athematical theory of {A}utomata},
citeulike-article-id = {1177399},
keywords = {fsa},
pages = {529--561},
posted-at = {2007-03-20 13:44:53},
priority = {2},
publisher = {Polytechnic Press, Polytechnic Institute of Brooklyn, N.Y.},
series = {Volume 12 of MRI Symposia Series},
title = {{C}anonical regular expressions and minimal state graphs for definite events},
year = {1962}
}
@inproceedings{hockey03:targeted-help,
address = {Morristown, NJ, USA},
author = {Hockey, Beth A. and Lemon, Oliver and Campana, Ellen and Hiatt, Laura and Aist, Gregory and Hieronymus, James and Gruenstein, Alexander and Dowding, John },
booktitle = {{E}{A}{C}{L} '03: {P}roceedings of the tenth conference on {E}uropean chapter of the {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {618236},
doi = {10.3115/1067807.1067828},
isbn = {1333567890},
keywords = {dialogue},
pages = {147--154},
posted-at = {2007-03-20 13:41:45},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{T}argeted help for spoken dialogue systems: intelligent feedback improves naive users' performance},
url = {http://portal.acm.org/citation.cfm?id=1067807.1067828},
year = {2003}
}
@book{bratko00:prolog-ai,
abstract = {The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The third edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike.},
author = {Bratko, Ivan },
citeulike-article-id = {437132},
howpublished = {Paperback},
isbn = {0201403757},
keywords = {programming, prolog},
month = {September},
posted-at = {2007-03-20 13:40:27},
priority = {2},
publisher = {Addison Wesley},
title = {{P}rolog {P}rogramming for {A}rtificial {I}ntelligence},
year = {2000}
}
@techreport{trindi99:d13,
author = {Bohlin, Peter and Bos, Johan and Larsson, Staffan and Lewin, Ian and Matheson, Colin and Milward, David },
citeulike-article-id = {1177394},
institution = {{TRINDI}},
keywords = {dialogue},
number = {1.3},
posted-at = {2007-03-20 13:39:36},
priority = {2},
title = {{S}urvey of {E}xisting {I}nteractive {S}ystems},
type = {Deliverable},
year = {1999}
}
@book{kernighan88:c,
abstract = {Just about every C programmer I respect learned C from this book. Unlike many of the 1,000 page doorstops stuffed with CD-ROMs that have become popular, this volume is concise and powerful (if somewhat dangerous) -- like C itself. And it was written by Kernighan himself. Need we say more?},
author = {Kernighan, Brian W. and Ritchie, Dennis M. },
citeulike-article-id = {167576},
howpublished = {Paperback},
isbn = {0131103628},
keywords = {c, programming},
month = {March},
posted-at = {2007-03-20 13:36:29},
priority = {2},
publisher = {Prentice Hall},
title = {{C} {P}rogramming {L}anguage},
year = {1988}
}
@book{stroustrup97:c++,
abstract = {In this brand-new third edition of The C++ Programming Language, author Bjarne Stroustrup, the creator of C++, presents the full specification for the C++ language and standard library, a spec that will soon become the joint ISO/ANSI C++ standard.},
author = {Stroustrup, Bjarne },
citeulike-article-id = {106123},
edition = {Third},
howpublished = {Paperback},
isbn = {0201889544},
keywords = {c-plus-plus, programming},
month = {June},
posted-at = {2007-03-20 13:34:52},
priority = {2},
publisher = {Addison-Wesley Professional},
title = {{T}he {C}++ {P}rogramming {L}anguage},
year = {1997}
}
@book{gosling05:java,
author = {Gosling, James and Joy, Bill and Steele, Guy and Bracha, Gilad },
citeulike-article-id = {113341},
edition = {Third},
howpublished = {Paperback},
isbn = {0321246780},
keywords = {java, programming},
month = {July},
posted-at = {2007-03-20 13:31:57},
priority = {1},
publisher = {Addison-Wesley Professional},
title = {{J}ava {L}anguage {S}pecification},
year = {2005}
}
@inproceedings{pollard04:hog,
author = {Pollard, Carl },
booktitle = {{P}roceedings of {C}ategorial {G}rammars 2004},
citeulike-article-id = {1177388},
keywords = {grammars, hog},
month = {June},
pages = {340--361},
posted-at = {2007-03-20 13:29:42},
priority = {2},
title = {{H}igher-{O}rder {C}ategorial {G}rammar},
url = {http://www.ling.ohio-state.edu/~hana/hog/pollard2004-CG.pdf},
year = {2004}
}
@inproceedings{degroote01:towards-acg,
address = {Morristown, NJ, USA},
author = {de Groote, Philippe },
booktitle = {{A}{C}{L} '01: {P}roceedings of the 39th {A}nnual {M}eeting on {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {1177385},
keywords = {acg, grammars},
pages = {252--259},
posted-at = {2007-03-20 13:27:39},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{T}owards abstract categorial grammars},
url = {http://portal.acm.org/citation.cfm?id=1073045},
year = {2001}
}
@inproceedings{muskens01:categorial,
author = {Muskens, Reinhard },
booktitle = {{P}roceedings of the {L}{F}{G}01 {C}onference},
citeulike-article-id = {1177383},
editor = {Butt, Miriam and King, Tracy H. },
keywords = {grammars, lfg},
posted-at = {2007-03-20 13:24:05},
priority = {2},
publisher = {CSLI Publications},
title = {{C}ategorial {G}rammar and {L}exical-{F}unctional {G}rammar},
url = {http://citeseer.ist.psu.edu/muskens01categorial.html},
year = {2001}
}
@techreport{talk:d16,
author = {Ericsson, Stina and Amores, Gabriel and Bringert, Bj\"{o}rn and Burden, H\r{a}kan and Forslund, Ann-Charlotte and Hjelm, David and Jonson, Rebecca and Larsson, Staffan and Ljungl\"{o}f, Peter and Manch\'{o}n, Pilar and Milward, David and P\'{e}rez, Guillermo and Sandin, Mikael },
citeulike-article-id = {1177382},
institution = {TALK Project},
keywords = {dialogue, multilingual, multimodal},
number = {1.6},
posted-at = {2007-03-20 13:24:05},
priority = {2},
title = {{S}oftware illustrating a unified approach to multimodality and multilinguality in the in-home domain},
url = {http://www.talk-project.org/},
year = {2006}
}
@book{martin-lof84:inttt,
address = {Naples},
author = {Martin-L\"{o}f, Per },
citeulike-article-id = {1177380},
keywords = {type-theory},
posted-at = {2007-03-20 13:21:29},
priority = {2},
publisher = {Bibliopolis},
title = {{I}ntuitionistic {T}ype {T}heory},
year = {1984}
}
@incollection{curry61:logical-grammar,
address = {Providence},
author = {Curry, Haskell B. },
booktitle = {{S}tructure of {L}anguage and its {M}athematical {A}spects, volume 12 of {S}ymposia on {A}pplied {M}athematics},
citeulike-article-id = {1177379},
editor = {Jakobson, Roman O. },
keywords = {grammars},
pages = {56--68},
posted-at = {2007-03-20 13:21:29},
priority = {2},
publisher = {American Mathematical Society},
title = {{S}ome {L}ogical {A}spects of {G}rammatical {S}tructure},
year = {1961}
}
@misc{ranta06:gf-resource-lib,
author = {Ranta, Aarne and El Dada, Ali and Khegai, Janna },
citeulike-article-id = {1177378},
keywords = {gf, grammars},
month = {June},
posted-at = {2007-03-20 13:21:28},
priority = {2},
title = {{T}he {G}{F} {R}esource {G}rammar {L}ibrary},
url = {http://www.cs.chalmers.se/~aarne/GF/doc/resource.pdf},
year = {2006}
}
@incollection{moore99:nl-sources-srg,
author = {Moore, Robert C. },
booktitle = {{C}omputational {M}odels of {S}peech {P}attern {P}rocessing},
citeulike-article-id = {1177373},
editor = {Ponting, K. M. },
keywords = {srg},
pages = {304--327},
posted-at = {2007-03-20 13:18:44},
priority = {2},
publisher = {Springer},
title = {{U}sing {N}atural-{L}anguage {K}nowledge {S}ources in {S}peech {R}ecognition},
url = {http://research.microsoft.com/users/bobmoore/nato-asi.pdf},
year = {1999}
}
@inproceedings{becker06:sammie,
author = {Becker, Tilman and Blaylock, Nate and Gerstenberger, Ciprian and Korbayov\'{a}, Ivana K. and Korthauer, Andreas and Pinkal, Manfred and Pitz, Michael and Poller, Peter and Schehl, Jan },
booktitle = {{E}{C}{A}{I} 2006, 17th {E}uropean {C}onference on {A}rtificial {I}ntelligence},
citeulike-article-id = {1177369},
keywords = {dialogue, multimodal},
pages = {612--616},
posted-at = {2007-03-20 13:14:57},
priority = {2},
title = {{N}atural and {I}ntuitive {M}ultimodal {D}ialogue for {I}n-{C}ar {A}pplications: {T}he {S}{A}{M}{M}{I}{E} {S}ystem.},
url = {http://www.coli.uni-saarland.de/~blaylock/Pubs/Files/pais06.pdf},
year = {2006}
}
@inproceedings{dowding01:practical,
address = {Morristown, NJ, USA},
author = {Dowding, John and Hockey, Beth A. and Gawron, Jean M. and Culy, Christopher },
booktitle = {{A}{C}{L} '01: {P}roceedings of the 39th {A}nnual {M}eeting on {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {1177365},
keywords = {grammars, srg},
pages = {164--171},
posted-at = {2007-03-20 13:13:49},
priority = {0},
publisher = {Association for Computational Linguistics},
title = {{P}ractical issues in compiling typed unification grammars for speech recognition},
url = {http://portal.acm.org/citation.cfm?id=1073034},
year = {2001}
}
@inproceedings{rayner06:regulus,
author = {Rayner, Manny and Bouillon, Pierrette and Hockey, Beth A. and Chatzichrisafis, Nikos },
booktitle = {{P}roceedings of {L}{R}{E}{C}},
citeulike-article-id = {1177363},
keywords = {grammars, regulus, srg},
month = {May},
posted-at = {2007-03-20 13:12:29},
priority = {2},
title = {{R}{E}{G}{U}{L}{U}{S}: {A} {G}eneric {M}ultilingual {O}pen {S}ource {P}latform for {G}rammar-{B}ased {S}peech {A}pplications},
url = {http://www.issco.unige.ch/pub/RaynerEA\_LREC2006.pdf},
year = {2006}
}
@book{rayner06:regulus-book,
abstract = {Most computer programs that analyze spoken dialogue use a spoken command grammar, which limits what the user can say when talking to the system. To make this process simpler, more automated, and effective for command grammars even at initial stages of a project, the Regulus grammar compiler was developed by a consortium of experts—including NASA scientists. This book presents a complete description of both the practical and theoretical aspects of Regulus and will be extremely helpful for students and scholars working in computational linguistics as well as software engineering.},
address = {Ventura Hall, Stanford University, Stanford, CA 94305, USA},
author = {Rayner, Manny and Hockey, Beth A. and Bouillon, Pierrette },
citeulike-article-id = {1177360},
howpublished = {Paperback},
isbn = {1575865262},
keywords = {grammars, regulus, srg},
month = {July},
posted-at = {2007-03-20 13:09:41},
priority = {3},
publisher = {CSLI Publications},
title = {{P}utting {L}inguistics into {S}peech {R}ecognition: {T}he {R}egulus {G}rammar {C}ompiler},
year = {2006}
}
@inproceedings{jonson06:gf-slm,
abstract = {In this paper, we explore statistical language modelling for a speech-enabled MP3 player application by generating a corpus from the interpretation grammar written for the application with the Grammatical Framework (GF). We create a statistical language model (SLM) directly from our interpretation grammar and compare recognition performance of this model against a speech recognition grammar compiled from the same GF interpretation grammar. The results show a relative Word Error Rate (WER) reduction of 37\% for the SLM derived from the interpretation grammar while maintaining a low in-grammar WER comparable to that associated with the speech recognition grammar. From this starting point we try to improve our artificially generated model by interpolating it with different corpora achieving great reduction in perplexity and 8\% relative recognition improvement.},
author = {Jonson, Rebecca },
booktitle = {{P}roceedings of {E}{A}{C}{L}'06},
citeulike-article-id = {1177353},
keywords = {gf, grammars, slm},
posted-at = {2007-03-20 13:05:00},
priority = {2},
title = {{G}enerating {S}tatistical {L}anguage {M}odels from {I}nterpretation {G}rammars in {D}ialogue {S}ystems},
url = {http://citeseer.ist.psu.edu/jonson06generating.html},
year = {2006}
}
@book{htkbook,
author = {Young, Steve and Evermann, Gunnar and Gales, Mark and Hain, Thomas and Kershaw, Dan and Liu, Xunying A. and Moore, Gareth and Odell, Julian and Ollason, Dave and Povey, Dan and Valtchev, Valtcho and Woodland, Phil },
citeulike-article-id = {1177348},
keywords = {asr, htk},
posted-at = {2007-03-20 13:02:47},
priority = {0},
publisher = {Cambridge University Engineering Department},
title = {{T}he {H}{T}{K} {B}ook (for {H}{T}{K} {V}ersion 3.4)},
url = {http://htk.eng.cam.ac.uk/docs/docs.shtml},
year = {2006}
}
@manual{nuance:grammar,
address = {Menlo Park, CA, USA},
citeulike-article-id = {1177340},
keywords = {asr, manual, nuance},
month = {December},
organization = {Nuance Communications, Inc.},
posted-at = {2007-03-20 12:50:18},
priority = {0},
title = {{N}uance {S}peech {R}ecognition {S}ystem 8.5: {G}rammar {D}eveloper's {G}uide},
year = {2003}
}
@techreport{xhtml+voice,
author = {Axelsson, Jonny and Cross, Chris and Ferrans, Jim and McCobb, Gerald and Raman, T. V. and Wilson, Les },
citeulike-article-id = {1177339},
institution = {{VoiceXML} Forum},
keywords = {voicexml, web, xhtml-voice},
posted-at = {2007-03-20 12:50:18},
priority = {0},
title = {{XHTML+Voice} Profile 1.2},
type = {Specification},
url = {http://www.voicexml.org/specs/multimodal/x+v/12/},
year = {2004}
}
@techreport{SCXML,
author = {Helbing, Marc and Barnett, Jim and Reifenrath, Klaus and Auburn, R. J. and Bodell, Michael and Hosn, Rafah },
citeulike-article-id = {1177338},
institution = {W3C},
keywords = {voicexml},
month = {January},
posted-at = {2007-03-20 12:50:18},
priority = {2},
title = {{S}tate {C}hart {{X}{M}{L}} ({{S}{C}{X}{M}{L}}): {S}tate {M}achine {N}otation for {C}ontrol {A}bstraction},
type = {Working Draft},
url = {http://www.w3.org/TR/2006/WD-scxml-20060124/},
year = {2006}
}
@book{ECMA-327,
address = {Geneva, Switzerland},
citeulike-article-id = {1177337},
edition = {Third},
keywords = {ecmascript, javascript, programming},
month = {June},
posted-at = {2007-03-20 12:50:18},
priority = {0},
publisher = {ECMA (European Association for Standardizing Information and Communication Systems)},
title = {{E}{C}{M}{A}-327: {E}{C}{M}{A}{S}cript 3: {C}ompact {P}rofile},
url = {http://www.ecma.ch/ecma1/STAND/ecma-327.htm},
year = {2001}
}
@techreport{SISR-20030401,
author = {Van Tichelen, Luc },
citeulike-article-id = {1177336},
institution = {W3C},
keywords = {sisr, srg},
month = {April},
posted-at = {2007-03-20 12:50:18},
priority = {0},
title = {{S}emantic {I}nterpretation for {S}peech {R}ecognition {W}orking {D}raft},
url = {http://www.w3.org/TR/2003/WD-semantic-interpretation-20030401/},
year = {2003}
}
@techreport{SISR,
author = {Burke, David and Van Tichelen, Luc },
citeulike-article-id = {1177335},
institution = {W3C},
keywords = {srg},
month = {November},
posted-at = {2007-03-20 12:50:18},
priority = {0},
title = {{S}emantic {I}nterpretation for {S}peech {R}ecognition ({{S}{I}{S}{R}}) {V}ersion 1.0},
type = {Working Draft},
url = {http://www.w3.org/TR/2006/WD-semantic-interpretation-20061103},
year = {2006}
}
@techreport{SRGS,
author = {Hunt, Andrew and McGlashan, Scott },
citeulike-article-id = {1177334},
institution = {{W3C}},
keywords = {srg},
month = {March},
posted-at = {2007-03-20 12:50:18},
priority = {0},
title = {{S}peech {R}ecognition {G}rammar {S}pecification {V}ersion 1.0},
type = {Recommendation},
url = {http://www.w3.org/TR/2004/REC-speech-grammar-20040316/},
year = {2004}
}
@techreport{jsgf,
author = {Hunt, Andrew },
citeulike-article-id = {1177333},
institution = {W3C},
keywords = {srg},
month = {June},
posted-at = {2007-03-20 12:50:18},
priority = {0},
title = {{J}{S}peech {G}rammar {F}ormat},
url = {http://www.w3.org/TR/2000/NOTE-jsgf-20000605/},
year = {2000}
}
@techreport{voicexml-20,
author = {Ferrans, Jim and Danielsen, Peter and Hunt, Andrew and Porter, Brad and Lucas, Bruce and McGlashan, Scott and Tryphonas, Steph and Rehor, Ken and Burnett, Daniel C. and Carter, Jerry },
citeulike-article-id = {1177332},
institution = {W3C},
keywords = {voicexml},
month = {March},
posted-at = {2007-03-20 12:50:17},
priority = {0},
title = {{V}oice {E}xtensible {M}arkup {L}anguage ({V}oice{X}{M}{L}) {V}ersion 2.0},
url = {http://www.w3.org/TR/2004/REC-voicexml20-20040316/},
year = {2004}
}
@inproceedings{bringert05:multimodal-grammars,
address = {Nancy, France},
author = {Bringert, Bj\"{o}rn and Cooper, Robin and Ljungl\"{o}f, Peter and Ranta, Aarne },
booktitle = {{P}roceedings of {D}{I}{A}{L}{O}{R}'05, {N}inth {W}orkshop on the {S}emantics and {P}ragmatics of {D}ialogue},
citeulike-article-id = {1177331},
keywords = {dialogue, multimodal},
pages = {53--60},
posted-at = {2007-03-20 12:48:44},
priority = {0},
title = {{M}ultimodal {D}ialogue {S}ystem {G}rammars},
url = {http://www.cs.chalmers.se/~bringert/publ/mm-grammars-dialor/mm-grammars-dialor.pdf},
year = {2005}
}
@article{ranta04:dialogue-proof-editors,
address = {Hingham, MA, USA},
author = {Ranta, Aarne and Cooper, Robin },
citeulike-article-id = {1177324},
doi = {10.1023/B:JLLI.0000024736.34644.48},
issn = {0925-8531},
journal = {{J}ournal of {L}ogic, {L}anguage and {I}nformation},
keywords = {dialogue, gf, type-theory},
number = {2},
pages = {225--240},
posted-at = {2007-03-20 12:45:16},
priority = {0},
publisher = {Kluwer Academic Publishers},
title = {{D}ialogue {S}ystems as {P}roof {E}ditors},
url = {http://portal.acm.org/citation.cfm?id=985195},
volume = {13},
year = {2004}
}
@article{haskell98-libraries,
author = {Peyton Jones, Simon },
citeulike-article-id = {1175997},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {haskell, programming},
number = {1},
posted-at = {2007-03-19 15:06:14},
priority = {0},
title = {{T}he {H}askell 98 {L}ibraries},
volume = {13},
year = {2003}
}
@article{haskell98,
author = {Peyton Jones, Simon },
citeulike-article-id = {1175996},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {haskell, programming},
number = {1},
posted-at = {2007-03-19 15:06:14},
priority = {0},
title = {{T}he {H}askell 98 {L}anguage},
volume = {13},
year = {2003}
}
@article{danielsson06:fast-loose,
address = {New York, NY, USA},
author = {Danielsson, Nils A. and Hughes, John and Jansson, Patrik and Gibbons, Jeremy },
citeulike-article-id = {665357},
doi = {10.1145/1111320.1111056},
isbn = {1595930272},
journal = {{S}{I}{G}{P}{L}{A}{N} {N}ot.},
keywords = {haskell},
month = {January},
number = {1},
pages = {206--217},
posted-at = {2007-03-19 15:04:55},
priority = {0},
publisher = {ACM Press},
title = {{F}ast and loose reasoning is morally correct},
url = {http://portal.acm.org/citation.cfm?id=1111320.1111056},
volume = {41},
year = {2006}
}
@article{mcbride07:applicative,
abstract = {In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. Indeed, it is the ubiquity of this programming pattern that drew us to the abstraction. We retrace our steps in this paper, introducing the applicative pattern by diverse examples, then abstracting it to define the Applicative type class and introducing a bracket notation which interprets the normal application syntax in the idiom of an Applicative functor. Further, we develop the properties of applicative functors and the generic operations they support. We close by identifying the categorical structure of applicative functors and examining their relationship both with Monads and with Arrows.},
author = {McBride, Conor and Paterson, Ross },
citeulike-article-id = {465691},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {haskell},
number = {1},
pages = {1--13},
posted-at = {2007-03-19 14:48:35},
priority = {0},
title = {{A}pplicative {P}rogramming with {E}ffects},
url = {http://www.soi.city.ac.uk/~ross/papers/Applicative.html},
volume = {18},
year = {2008}
}
@inproceedings{villing06:dico,
abstract = {We present a demo of a set of dialogue system applications for controlling various devices in a truck. All applications use the GoDiS dialogue manager and implement multimodal menu-based dialogue (MMD) based on the menu structures of existing GUI interfaces.},
author = {Villing, Jessica and Larsson, Staffan },
booktitle = {{B}{R}{A}{N}{D}{I}{A}{L}’06, {P}roceedings of the 10th {W}orkshop on the {S}emantics and {P}ragmatics of {D}ialogue},
citeulike-article-id = {1167727},
keywords = {dialogue, godis, multimodal},
pages = {187--188},
posted-at = {2007-03-16 15:18:35},
priority = {2},
title = {{D}ico: {A} {M}ultimodal {M}enu-based {I}n-vehicle {D}ialogue {S}ystem},
url = {http://www.ling.uni-potsdam.de/brandial/Proceedings/brandial06\_villing\_etal.pdf},
year = {2006}
}
@mastersthesis{olsson05:dico,
author = {Olsson, Anna and Villing, Jessica },
citeulike-article-id = {1167724},
keywords = {dialogue, godis},
posted-at = {2007-03-16 15:15:04},
priority = {2},
school = {G\"{o}teborg University},
title = {{D}ico - a {D}ialogue {S}ystem for a {C}ell {P}hone},
url = {http://www.ling.gu.se/~jessica/Dico.pdf},
year = {2005}
}
@inproceedings{bos02:uniance,
address = {Morristown, NJ, USA},
author = {Bos, Johan },
booktitle = {{P}roceedings of the 19th international conference on {C}omputational linguistics},
citeulike-article-id = {1167676},
keywords = {grammars, srg},
pages = {1--7},
posted-at = {2007-03-16 14:52:50},
priority = {2},
publisher = {Association for Computational Linguistics},
title = {{C}ompilation of unification grammars with compositional semantics to speech recognition packages},
url = {http://portal.acm.org/citation.cfm?id=1072323},
year = {2002}
}
@techreport{talk:d23,
author = {Lemon, Oliver and Georgila, Kallirroi and Milward, David and Herbert, Tommy },
citeulike-article-id = {1167615},
institution = {TALK Project},
keywords = {dialogue},
number = {2.3},
posted-at = {2007-03-16 13:42:56},
priority = {2},
title = {{P}rogramming {D}evices and {S}ervices},
url = {http://www.talk-project.org/},
year = {2006}
}
@inproceedings{lemon06:dude,
author = {Lemon, Oliver and Liu, Xingkun },
booktitle = {{E}{A}{C}{L} 2006, 11st {C}onference of the {E}uropean {C}hapter of the {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {1167605},
keywords = {dialogue, gf},
posted-at = {2007-03-16 13:30:21},
priority = {2},
title = {{D}{U}{D}{E}: a {D}ialogue and {U}nderstanding {D}evelopment {E}nvironment, mapping {B}usiness {P}rocess {M}odels to {I}nformation {S}tate {U}pdate dialogue systems},
url = {http://homepages.inf.ed.ac.uk/olemon/dude-final.pdf},
year = {2006}
}
@inproceedings{lemon06:programming-by-voice,
author = {Georgila, Kallirroi and Lemon, Oliver },
booktitle = {{B}{R}{A}{N}{D}{I}{A}{L}’06, {P}roceedings of the 10th {W}orkshop on the {S}emantics and {P}ragmatics of {D}ialogue},
citeulike-article-id = {1167601},
keywords = {dialogue},
pages = {199--200},
posted-at = {2007-03-16 13:15:11},
priority = {2},
title = {{P}rogramming by {V}oice: enhancing adaptivity and robustness of spoken dialogue systems},
url = {http://www.ling.uni-potsdam.de/brandial/Proceedings/brandial06\_georgila\_etal.pdf},
year = {2006}
}
@inproceedings{lemon06:reall-dude,
author = {Lemon, Oliver and Liu, Xingkun and Shapiro, Daniel and Tollander, Carl },
booktitle = {{B}{R}{A}{N}{D}{I}{A}{L}’06, {P}roceedings of the 10th {W}orkshop on the {S}emantics and {P}ragmatics of {D}ialogue},
citeulike-article-id = {1167600},
keywords = {dialogue},
month = {September},
pages = {185--186},
posted-at = {2007-03-16 13:13:34},
priority = {2},
title = {{H}ierarchical {R}einforcement {L}earning of {D}ialogue {P}olicies in a development environment for dialogue systems: {R}{E}{A}{L}{L}-{D}{U}{D}{E}},
url = {http://www.ling.uni-potsdam.de/brandial/Proceedings/brandial06\_lemon\_etal.pdf},
year = {2006}
}
@inproceedings{citeulike:1165808,
abstract = {The availability of real-time continuous speech recognition on mobile and embedded devices has opened up a wide range of research opportunities in human-computer interactive applications. Unfortunately, most of the work in this area to date has been confined to proprietary software, or has focused on limited domains with constrained grammars. In this paper, we present a preliminary case study on the porting and optimization of CMU SPHINX-II, a popular open source large vocabulary continuous speech recognition (LVCSR) system, to hand-held devices. The resulting system operates in an average 0.87 times real-time on a 206MHz device, 8.03 times faster than the baseline system. To our knowledge, this is the first hand-held LVCSR system available under an open-source license.},
author = {Huggins-Daines, D. and Kumar, M. and Chan, A. and Black, A. W. and Ravishankar, M. and Rudnicky, A. I. },
citeulike-article-id = {1165808},
journal = {{A}coustics, {S}peech and {S}ignal {P}rocessing, 2006. {I}{C}{A}{S}{S}{P} 2006 {P}roceedings. 2006 {I}{E}{E}{E} {I}nternational {C}onference on},
keywords = {asr},
pages = {I-185--I-188},
posted-at = {2007-03-15 17:57:18},
priority = {4},
title = {{P}ocketsphinx: {A} {F}ree, {R}eal-{T}ime {C}ontinuous {S}peech {R}ecognition {S}ystem for {H}and-{H}eld {D}evices},
url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=1659988},
volume = {1},
year = {2006}
}
@inproceedings{peyton-jones06:gadt-type-inference,
address = {New York, NY, USA},
author = {Peyton Jones, Simon and Vytiniotis, Dimitrios and Weirich, Stephanie and Washburn, Geoffrey },
booktitle = {{I}{C}{F}{P} '06: {P}roceedings of the eleventh {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} international conference on {F}unctional programming},
citeulike-article-id = {1156288},
doi = {10.1145/1159803.1159811},
isbn = {1595933093},
keywords = {gadt, haskell, type-systems},
pages = {50--61},
posted-at = {2007-03-12 22:48:51},
priority = {4},
publisher = {ACM Press},
title = {{S}imple unification-based type inference for {G}{A}{D}{T}s},
url = {http://portal.acm.org/citation.cfm?id=1159811},
year = {2006}
}
@inproceedings{hinze04:generics-masses,
author = {Hinze, Ralf },
booktitle = {{I}{C}{F}{P} '04: {P}roceedings of the ninth {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} international conference on {F}unctional programming},
citeulike-article-id = {100045},
doi = {10.1145/1016850.1016882},
issn = {0362-1340},
keywords = {generics, haskell},
month = {September},
number = {9},
pages = {236--243},
posted-at = {2007-03-12 22:46:00},
priority = {0},
publisher = {ACM Press},
title = {{G}enerics for the masses},
url = {http://portal.acm.org/citation.cfm?id=1016882},
volume = {39},
year = {2004}
}
@inproceedings{hinze06:syb-reloaded,
author = {Hinze, Ralf and L\"{o}h, Andres and Oliveira, Bruno C. D. S. },
booktitle = {{F}{L}{O}{P}{S}},
citeulike-article-id = {1156268},
doi = {10.1007/11737414\_3},
editor = {Hagiya, Masami and Wadler, Philip },
keywords = {generics, haskell, syb},
pages = {13--29},
posted-at = {2007-03-12 22:41:36},
priority = {0},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {``{S}crap {Y}our {B}oilerplate'' {R}eloaded},
url = {http://dx.doi.org/10.1007/11737414\_3},
volume = {3945},
year = {2006}
}
@inproceedings{lammel03:syb,
abstract = {We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of "boilerplate" code that simply walks the structure, hiding a small amount of "real" code that constitutes the reason for the traversal. Our technique allows most...},
address = {New Orleans, LA, USA},
author = {L\"{a}mmel, Ralf and Peyton Jones, Simon },
booktitle = {{P}roceedings of the {A}{C}{M} {S}{I}{G}{P}{L}{A}{N} {W}orkshop on {T}ypes in {L}anguage {D}esign and {I}mplementation ({T}{L}{D}{I})},
citeulike-article-id = {692047},
keywords = {generics, haskell, syb},
month = {January},
posted-at = {2007-03-12 22:10:31},
priority = {0},
title = {{S}crap {Y}our {B}oilerplate: {A} {P}ractical {D}esign {P}attern for {G}eneric {P}rogramming},
url = {http://citeseer.ist.psu.edu/702290.html},
year = {2003}
}
@inproceedings{jones95:overloading-polymorphism,
address = {London, UK},
author = {Jones, Mark P. },
booktitle = {{A}dvanced {F}unctional {P}rogramming, {F}irst {I}nternational {S}pring {S}chool on {A}dvanced {F}unctional {P}rogramming {T}echniques-{T}utorial {T}ext},
citeulike-article-id = {386797},
isbn = {3540594515},
keywords = {haskell, programming},
pages = {97--136},
posted-at = {2007-03-12 22:04:12},
priority = {0},
publisher = {Springer-Verlag},
title = {{F}unctional {P}rogramming with {O}verloading and {H}igher-{O}rder {P}olymorphism},
url = {http://portal.acm.org/citation.cfm?id=734150},
year = {1995}
}
@inproceedings{moore00:removing-left-recursion,
address = {San Francisco, CA, USA},
author = {Moore, Robert C. },
booktitle = {{P}roceedings of the first conference on {N}orth {A}merican chapter of the {A}ssociation for {C}omputational {L}inguistics},
citeulike-article-id = {1156142},
doi = {10.1145/321250.321254},
keywords = {grammars},
pages = {249--255},
posted-at = {2007-03-12 21:49:41},
priority = {0},
publisher = {Morgan Kaufmann Publishers Inc.},
title = {{R}emoving left recursion from context-free grammars},
url = {http://portal.acm.org/citation.cfm?id=974338},
year = {2000}
}
@phdthesis{ljunglof04:phd,
address = {G\"{o}teborg, Sweden},
author = {Ljungl\"{o}f, Peter },
citeulike-article-id = {1156141},
keywords = {gf, grammars},
posted-at = {2007-03-12 21:47:38},
priority = {0},
school = {G\"{o}teborg University},
title = {{E}xpressivity and {C}omplexity of the {G}rammatical {F}ramework},
url = {http://www.ling.gu.se/~peb/pubs/p04-PhD-thesis.pdf},
year = {2004}
}
@article{ranta04:gf,
address = {New York, NY, USA},
author = {Ranta, Aarne },
citeulike-article-id = {346448},
doi = {10.1017/S0956796803004738},
issn = {0956-7968},
journal = {{J}ournal of {F}unctional {P}rogramming},
keywords = {gf, grammars, type-theory},
month = {March},
number = {2},
pages = {145--189},
posted-at = {2007-03-12 21:44:16},
priority = {0},
publisher = {Cambridge University Press},
title = {{G}rammatical {F}ramework: {A} {T}ype-{T}heoretical {G}rammar {F}ormalism},
url = {http://portal.acm.org/citation.cfm?id=967507},
volume = {14},
year = {2004}
}