Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Volpano, Dennis (8)
Smith, Geoffrey (5)
Computer Science (3)
Computer Science (CS) (2)
FLORIDA INTERNATIONAL UNIV MIAMI SCHOOL OF COMPUTER SCIENCE (2)
Bergem, Mark J. (1)
Beverly, Robert (1)
Bonem, Peter Bryant (1)
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE (1)
Naval Postgraduate School (U.S.) (1)
more
Year
Medium:
Online (9)
Type:
Book (4)
Article (3)
Miscellaneous (2)
BLLDB-Access:
free (9)
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
Hits 1 – 9 of 9
1
Translating an FP dialect to L - A proof of correctness ...
Volpano, Dennis M.
. - 2018
BASE
Show details
2
Real-time speaker detection for user-device binding
Bergem, Mark J.
. - : Monterey, California. Naval Postgraduate School, 2010
BASE
Show details
3
Eliminating Covert Flows with Minimum Typings
Volpano, Dennis
;
Smith, Geoffrey
In: DTIC (1997)
BASE
Show details
4
A Sound Polymorphic Type System for a Dialect of C (PREPRINT)
Smith, Geoffrey
;
Volpano, Dennis
In: DTIC (1997)
BASE
Show details
5
A Sound Polymorphic Type System for a Dialect of C
Smith, Geoffrey
;
Volpano, Dennis
. - 1996
BASE
Show details
6
Towards an ML-style Polymorphic Type System for C
Smith, Geoffrey
;
Volpano, Dennis
. - 1996
BASE
Show details
7
A type inference algorithm and transition semantics for polymorphic C
Özgen, Mustafa
. - : Monterey, California. Naval Postgraduate School, 1996
BASE
Show details
8
Towards an ML-style Polymorphic Type System for C
Smith, Geoffrey
;
Volpano, Dennis
In: DTIC (1996)
BASE
Show details
9
Towards an implementation of Polymorphic C
Bonem, Peter Bryant
. - : Monterey, California. Naval Postgraduate School, 1995
BASE
Show details
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
9
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern