• Refine your search:
  • 
    Keyword:
    
    • Languages (23)
    • Categories and Subject Descriptors (8)
    • F.3.2 [Logics and Meanings of Programs (8)
    • D.3.1 [Programming Languages (5)
    • Theory (5)
    • Verification Additional Key Words and Phrases (5)
    • Formal Definitions and Theory—Semantics (4)
    • Performance (4)
    • Standardization (4)
    • Syntax (4)
    •   more
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (23)
    • Mustafa Jarrar (3)
    • Richard A. Frost (3)
    • Greg Morrisett (2)
    • Hideaki Takeda (2)
    • Amr Sabry (1)
    • Andreas Blass (1)
    • Andrew D. Gordon (1)
    • Andrew M. Pitts (1)
    • Axel Jantsch (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (23)
  • 
    BLLDB-Access:
    • free (23)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 23 1 Realization of natural language interfaces using lazy functional programming Richard A. Frost In: http://dmontanor.googlepages.com/realizationofnaturallanguageinterfac.pdf (2006) BASE Show details 2 Realization of natural language interfaces using lazy functional programming Richard A. Frost In: http://cs.uwindsor.ca/~richard/PUBLICATIONS/NLI_LFP_SURVEY_DRAFT.pdf (2006) BASE Show details 3 Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering Mustafa Jarrar. - 2006 BASE Show details 4 Realization of natural language interfaces using lazy functional programming Richard A. Frost In: http://cs.uwindsor.ca/richard/cs510/survey_frost.pdf (2006) BASE Show details 5 Towards the notion of gloss, and the adoption of linguistic resources informal ontology engineering Mustafa Jarrar In: http://www.jarrar.info/publications/[J06]WWW06.Notion of Gloss-Jarrar.Published.v3.pdf (2006) BASE Show details 6 Stabilizers: a modular checkpointing abstraction for concurrent functional programs Lukasz Ziarek; Philip Schatz; Suresh Jagannathan In: http://www.cs.purdue.edu/homes/lziarek/icfp06.pdf (2006) BASE Show details 7 EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment Deepak Mathaikutty; Hiren Patel; Sandeep Shukla... In: http://web.it.kth.se/~axel/papers/2007/ACMTODAES-MathaikuttyEWD.pdf (2004) BASE Show details 8 Polymorphic specialization for ML Simon Helsen; Peter Thiemann; Universität Freiburg In: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf (2002) BASE Show details 9 Modular typechecking for hierarchically extensible datatypes and functions Todd Millstein; Colin Bleckner; Craig Chambers In: http://www.cs.ucla.edu/~todd/research/eml-toplas.pdf (2002) BASE Show details 10 The Theoretical Procedures on Linguistics to build an e-service for research results spread Claudia Wanderley; Rua Caio; Graco Prado In: http://semanticweb2002.aifb.uni-karlsruhe.de/proceedings/Position/wanderley.pdf (2002) BASE Show details 11 RTL Semantics and Methodology Brian Bailey Mentor; Brian Bailey In: http://www.capsl.udel.edu/COMPILER/ISSS01/isss01/papers/2001/isss01/pdffiles/p069.pdf (2001) BASE Show details 12 Syntactic Type Abstraction Dan Grossman; Greg Morrisett; Steve Zdancewic In: http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/grossman-etal00/paper.pdf (2000) BASE Show details 13 A reflection on call-by-value Amr Sabry; Philip Wadler In: http://homepages.inf.ed.ac.uk/wadler/papers/reflection-journal/reflection-journal.pdf (1996) BASE Show details 14 Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering Mustafa Jarrar In: http://www.jarrar.info/publications/[J06]WWW06.Notion of Gloss-Jarrar.Published.v3.pdf (1595) BASE Show details 15 Persistent Queries in the Behavioral Theory of Algorithms Andreas Blass; Yuri Gurevich In: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf BASE Show details 16 XX Denotational Semantics with Nominal Scott Domains Andrew M. Pitts In: http://www.cl.cam.ac.uk/~amp12/papers/densns/densns.pdf BASE Show details 17 Typed memory management via static capabilities David Walker; Karl Crary; Greg Morrisett In: http://www.cs.cmu.edu/~crary/papers/2000/regions/capabilities.pdf BASE Show details 18 Semantics of Programming Languages—Denotational seman- Hideaki Takeda In: http://www-kasm.nii.ac.jp/papers/takeda/09/koide09elw.pdf BASE Show details 19 Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions Marco Bernardo In: http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf BASE Show details 20 Semantics of Programming Languages—Denotational seman- Hideaki Takeda In: http://www-kasm.nii.ac.jp/~koide/SWCLOS2/KoideELW.pdf BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 23 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0