Home
Catalogue search
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
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern