Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher
Year
Medium
Type
BLLDB-Access:
free (21)
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 21
1
Contracts Made Manifest
Michael Greenberg
;
Benjamin C. Pierce
;
Stephanie Weirich
In: http://www.cis.upenn.edu/%7Emgree/papers/contracts_jfp_revised_again.pdf (2012)
BASE
Show details
2
Contracts made manifest
Michael Greenberg
;
Benjamin C. Pierce
;
Stephanie Weirich
In: http://www.cis.upenn.edu/~mgree/papers/contracts_jfp_firstview.pdf (2012)
BASE
Show details
3
Updatable Security Views
J. Nathan Foster
;
Benjamin C. Pierce
;
Steve Zdancewic
In: http://www.cis.upenn.edu/~stevez/papers/FPZ09.pdf (2009)
BASE
Show details
4
Updatable Security Views
J. Nathan Foster
;
Benjamin C. Pierce
;
Steve Zdancewic
In: http://www.cis.upenn.edu/~jnfoster/papers/updatable-security-views.pdf (2009)
BASE
Show details
5
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://hal.inria.fr/docs/00/48/49/71/PDF/lenses-toplas-final.pdf (2007)
BASE
Show details
6
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~bcpierce/papers/newlenses-full-toplas.pdf (2005)
BASE
Show details
7
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-final.pdf (2005)
BASE
Show details
8
Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~bcpierce/papers/newlenses-short.pdf (2004)
BASE
Show details
9
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.irisa.fr/celtique/aschmitt/papers/lenses.pdf (2004)
BASE
Show details
10
reports/41 Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem
J. Nathan
;
Foster Michael
;
B. Greenwald
. - 2004
BASE
Show details
11
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~mbgreen/papers/upenn-cis-04-15-tr-short.pdf (2004)
BASE
Show details
12
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~jnfoster/papers/focal-toplas.pdf (2004)
BASE
Show details
13
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~jnfoster/papers/focal-popl.pdf (2004)
BASE
Show details
14
COPYRIGHT
Dimitris N. Metaxas
;
Benjamin C. Pierce
In: http://gri.gallaudet.edu/~cvogler/research/data/vogler-diss03.pdf (2003)
BASE
Show details
15
Pict Language Definition
Benjamin C. Pierce
;
David N. Turner
In: ftp://ftp.cs.indiana.edu/pub/pierce/pict/old/pict-3.9d/Doc/defn.ps.gz (1996)
BASE
Show details
16
The Role of Dialectics in Defeasible Argumentation
Guillermo R. Simari
;
Carlos I. Chesñevar
;
Alejandro J. Garcia
...
In: http://cs.uns.edu.ar/~grs/Publications/./Papers/SimariChesnevarGarcia-CCCS1994.pdf (1994)
BASE
Show details
17
Combinators for bidirectional tree transformations: A linguistic approach to the viewupdate problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
.
BASE
Show details
18
papers/361 Adventures in Bidirectional Programming
Benjamin C. Pierce
BASE
Show details
19
Combinators for Bi-Directional Tree Transformations ABSTRACT A Linguistic Approach to the View Update Problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~jnfoster/papers/focal.pdf
BASE
Show details
20
Combinators for Bi-Directional Tree Transformations ABSTRACT A Linguistic Approach to the View Update Problem
J. Nathan Foster
;
Michael B. Greenwald
;
Jonathan T. Moore
...
In: http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.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
21
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern