新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

bringert library [169 articles]

最近 bringert さんのライブラリ .
  • Monads for natural language semantics
    (August 2001), pp. 275-288.
    by Chung-Chieh Shan
    edited by Kristina Striegnitz
    posted to semantics by bringert on 2008-08-29 12:17:11 as read
  • Type raising, continuations, and classical logic
    (December 2001), pp. 97-101.
    by Philippe de Groote
    edited by R van Rooy, M Stokhof
    posted to semantics by bringert on 2008-08-29 10:43:16 as **
  • Delimited continuations in natural language
    (17 January 2004)
    by Chung-Chieh Shan
    edited by Hayo Thielecke
    posted to no-tag by bringert on 2008-08-29 10:29:21 as read
  • Continuations and the nature of quantification
    Natural Language Semantics, Vol. 10, No. 3. (2002), pp. 211-242.
    by Chris Barker
    posted to no-tag by bringert on 2008-08-29 10:13:00 as **
  • Programming in Martin-Löf's Type Theory: An Introduction
    (19 July 1990)
    by Bengt Nordström, Kent Petersson, Jan M Smith
    posted to type-theory by bringert on 2008-08-07 16:37:39 as ** along with 1 person spl
  • Modern C++ Design: Generic Programming and Design Patterns Applied
    (13 February 2001)
    by Andrei Alexandrescu
    posted to c-plus-plus by bringert on 2008-08-07 16:30:19 as ** along with 5 people pool007 tristan_carel dodger042 chandlerc michaelbussmann
  • Building domain-specific embedded languages
    ACM Computing Surveys, Vol. 28, No. 4es. (1996), pp. 196-196.
    by Paul Hudak
    posted to haskell by bringert on 2008-06-18 15:32:15 as ** along with 3 people serebryakov jimburton robertlischke
  • Speech Translation with Grammatical Framework
    (23 August 2008)
    by Björn Bringert
    posted to translation speech gf by bringert on 2008-06-12 09:09:36 as read
  • The Core Language Engine
    (15 May 1992)
    by Hiyan Alshawi
    posted to grammars cle by bringert on 2008-06-11 19:32:47 as ** along with 1 person mircea
  • What You See Is What You Meant: direct knowledge editings with natural language feedback
    (1998), pp. 677-681.
    by Richard Power, Donia Scott, Roger Evans
    edited by Henri Prade
    posted to syntax-editing by bringert on 2008-06-11 13:58:13 as ** along with 1 person mahlow
  • Implementation of a JavaScript Syntax Editor and Parser for Grammatical Framework
    (2008)
    by Moisés S Meza-Moreno
    posted to gf by bringert on 2008-06-03 12:27:26 as read
  • Formal Philosophy
    (1974)
    by Richard Montague
    edited by Richmond Thomason
    posted to semantics by bringert on 2008-06-02 15:23:25 as **
  • The Proper Treatment of Quantification in Ordinary English
    (1973), pp. 221-242.
    by Richard Montague
    edited by J Hintikka, J Moravcsik, P Suppes
    posted to semantics by bringert on 2008-06-02 15:18:17 as read
  • LogAnswer - A Deduction-Based Question Answering System (System Description)
    (August 2008)
    by Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
    posted to semantics by bringert on 2008-06-02 14:49:46 as **
  • Applying automated deduction to natural language understanding
    Journal of Applied Logic, Vol. In Press, Corrected Proof (2007)
    by Johan Bos
    posted to semantics fol by bringert on 2008-06-02 14:45:11 as **
  • A Semantic Test Suite
    (January 1996)
    by Robin Cooper, Dick Crouch, Jan van Eijck, Chris Fox, Josef van Genabith, Jan Jaspars, Hans Kamp, David Milward, Manfred Pinkal, Massimo Poesio, Steve Pulman, Ted Briscoe, Holger Maier, Karsten Konrad
    posted to semantics fracas by bringert on 2008-05-20 16:39:35 as **
  • Generalized quantifiers and natural language
    Linguistics and Philosophy, Vol. 4, No. 2. (1 June 1981), pp. 159-219.
    by Jon Barwise, Robin Cooper
    posted to semantics by bringert on 2008-05-20 16:10:02 as **
  • Quantification and Syntactic Theory
    Vol. 21 (29 April 1983)
    by R Cooper
    posted to semantics by bringert on 2008-05-20 16:02:38 as **
  • Monads and Composable Continuations
    Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56.
    by Philip Wadler
    posted to haskell continuations by bringert on 2008-05-20 15:47:51 as ** along with 3 people glaubersp cdiggins benchambers
  • Ambiguity tests and how to fail them
    Vol. 4 (July 1975)
    by Arnold M Zwicky, Jerrold M Sadock
    edited by John P Kimball
    posted to semantics by bringert on 2008-05-20 15:45:17 as **
  • Grammatical Framework (GF) for MT in sublanguage domains
    (June 2006), pp. 95-104.
    by Janna Khegai
    posted to translation gf by bringert on 2008-05-02 16:54:37 as **
  • Representation and Inference for Natural Language: A First Course in Computational Semantics
    (06 April 2005)
    by Patrick Blackburn, Johan Bos
    posted to fol semantics by bringert on 2008-04-17 15:57:44 as read
  • Interactively Editing Structured Documents
    Electronic Publishing, Vol. 1, No. 1. (1988), pp. 19-44.
    by R Furuta, V Quint, J Andre
    posted to syntax-editing by bringert on 2008-04-08 17:18:59 as **
  • WExEd - WebALT Exercise Editor for Multilingual Mathematical Exercises
    (January 2006), pp. 141-145.
    by Arjeh Cohen, Hans Cuypers, Karin Poels, Mark Spanbroek, Rikko Verrijzer
    edited by Mika Seppälä, Sebastian Xambo, Olga Caprotti
    posted to webalt syntax-editing gf by bringert on 2008-04-08 17:00:42 as **
  • Verification of Object-Oriented Software: The KeY Approach
    Vol. 4334 (2007)
    edited by Bernhard Beckert, Reiner Hähnle, Peter H Schmitt
    posted to syntax-editing gf by bringert on 2008-04-08 16:45:27 as **
  • From Grammars to Gramlets
    (2003)
    by Kristofer Johannisson, Janna Khegai, Markus Forsberg, Aarne Ranta
    posted to syntax-editing gf by bringert on 2008-04-08 16:06:56 as ***
  • Multilingual Syntax Editing in GF
    Computational Linguistics and Intelligent Text Processing, Vol. 2588 (2003), pp. 199-204.
    by Janna Khegai, Bengt Nordström, Aarne Ranta
    edited by Alexander Gelbukh
    posted to syntax-editing gf by bringert on 2008-04-08 15:57:37 as read
  • Grammars as software libraries
    (2008)
    by Aarne Ranta
    edited by Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin
    posted to gf by bringert on 2008-04-08 15:52:29 as read
  • The Cornell program synthesizer: a syntax-directed programming environment
    Commun. ACM, Vol. 24, No. 9. (September 1981), pp. 563-573.
    by Tim Teitelbaum, Thomas Reps
    posted to syntax-editing by bringert on 2008-04-08 15:47:04 as *** along with 1 person creswick
  • Interactive Multilingual Web Applications with Grammatical Framework
    Vol. 5221 (August 2008), pp. 336-347.
    by Moisés S Meza-Moreno, Björn Bringert
    edited by Bengt Nordström, Aarne Ranta
    posted to syntax-editing gf by bringert on 2008-03-31 17:25:33 as read
  • Computational Semantics Information
    by Kyle Rawlins
    posted to semantics by bringert on 2008-03-05 10:28:35 as read
  • Natural Logic for Textual Inference
    (2007), pp. 193-200.
    by Bill Maccartney, Christopher D Manning
    posted to semantics fracas by bringert on 2008-03-05 10:10:26 as read
  • PGF: A Portable Run-Time Format for Type-Theoretical Grammars
    Journal of Logic, Language and Information, Vol. submitted (2008)
    by Krasimir Angelov, Björn Bringert, Aarne Ranta
    posted to gf by bringert on 2008-02-26 21:43:56 as read
  • On multiple context-free grammars
    Theoretical Computer Science, Vol. 88, No. 2. (October 1991), pp. 191-229.
    by Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
    posted to grammars by bringert on 2008-02-15 14:36:49 as **
  • Principles and Implementation of Deductive Parsing
    Journal of Logic Programming, Vol. 24, No. 1&2. (1995), pp. 3-36.
    by Stuart M Shieber, Yves Schabes, Fernando CN Pereira
    posted to grammars by bringert on 2008-02-15 14:30:38 as ** along with 2 people kowey jonathlela
  • A Pattern for Almost Compositional Functions
    Journal of Functional Programming, Vol. to appear
    by Björn Bringert, Aarne Ranta
    posted to gadt generics haskell by bringert on 2008-02-10 22:05:42 as read
  • The Unicode Standard, Version 5.0
    (19 November 2006)
    by The Unicode Consortium, Julie Allen
    posted to unicode by bringert on 2008-02-07 15:10:27 as * along with 1 person chandlerc
  • Parsing Linear Context-Free Rewriting Systems
    (2005), pp. 11-17.
    by Håkan Burden, Peter Ljunglöf
    posted to grammars by bringert on 2008-02-07 15:00:18 as read
  • Open data types and open functions
    (2006), pp. 133-144.
    by Andres Löh, Ralf Hinze
    posted to haskell by bringert on 2008-01-07 17:08:47 as read along with 1 person jpbernardy
  • A set constructor for inductive sets in Martin-Löf's type theory
    Vol. 389 (1989), pp. 128-140.
    by Kent Petersson, Dan Synek
    posted to type-theory by bringert on 2008-01-07 16:31:45 as read
  • Three Tools for Language Processing: BNF Converter, Functional Morphology, and Extract
    (September 2007)
    by Markus Forsberg
    posted to haskell by bringert on 2007-12-20 12:02:51 as **
  • Categorial programming with inductive and coinductive types
    (26 May 2000)
    by Varmo Vene
    posted to haskell by bringert on 2007-12-18 15:08:10 as **
  • The Essence of the Iterator Pattern
    (2 July 2006)
    by Jeremy Gibbons, Bruno C Oliveira
    edited by Conor Mcbride, Tarmo Uustalu
    posted to haskell by bringert on 2007-12-13 16:19:29 as ** along with 1 person jpbernardy
  • Polymorphic type inference
    (1983), pp. 88-98.
    by Daniel Leivant
    posted to type-systems by bringert on 2007-12-04 17:31:44 as **
  • Practical type inference for arbitrary-rank types
    Journal of Functional Programming, Vol. 17, No. 1. (2007), pp. 1-82.
    by Simon Peyton-Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
    posted to haskell by bringert on 2007-12-04 17:23:39 as **
  • Structured type theory
    (28 September 1999)
    by Catarina Coquand, Thierry Coquand
    posted to agda by bringert on 2007-12-04 16:15:10 as ** along with 1 person msakai
  • Towards a practical programming language based on dependent type theory
    (2007)
    by Ulf Norell
    posted to agda by bringert on 2007-12-04 16:11:47 as **
  • Compiling Grammar-based Speech Application Components
    No. 40L. (2007)
    by Björn Bringert
    posted to speech multimodal grammars gf by bringert on 2007-10-17 22:53:47 as read
  • Student paper: HaskellDB improved
    (2004), pp. 108-115.
    by Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjörn Martin
    posted to haskell by bringert on 2007-10-17 22:40:07 as read along with 1 person spl
  • A pattern for almost compositional functions
    (2006), pp. 216-226.
    by Björn Bringert, Aarne Ranta
    posted to haskell by bringert on 2007-10-17 22:38:21 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/bringert

    Result page: 1 2 3 4 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.