• Refine your search:
  • 
    Keyword:
    
    • Languages (2)
    • Theory (2)
    • Categories and Subject Descriptors (1)
    • Certied code (1)
    • D.3.1 [Programming Languages (1)
    • D.3.4 [Programming Languages (1)
    • F.3.2 [Logics and Meanings of Programs (1)
    • F.3.3 [Logics and Meanings of Programs (1)
    • Formal Denitions and Theory|Semantics (1)
    • General Terms (1)
    •   more
  • 
    Creator / Publisher:
    
    • Greg Morrisett (10)
    • The Pennsylvania State University CiteSeerX Archives (10)
    • Dan Grossman (7)
    • Michael Hicks (6)
    • Trevor Jim (6)
    • James Cheney (5)
    • Yanling Wang (5)
    • David Walker (3)
    • Karl Crary (2)
    • Steve Zdancewic (1)
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

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 – 10 of 10 1 Cyclone: A safe dialect of C Trevor Jim; Greg Morrisett; Dan Grossman... In: http://www.cs.cornell.edu/projects/cyclone/papers/cyclone-safety.pdf (2002) BASE Show details 2 Cyclone: A safe dialect of C Trevor Jim; Greg Morrisett; Dan Grossman... In: http://www.cs.cornell.edu/projects/cyclone/papers/cyclone-safety.ps (2002) BASE Show details 3 Cyclone: A safe dialect of C Trevor Jim; Greg Morrisett; Dan Grossman... In: http://www.bennetyee.org/ucsd-pages/Courses/cse227.w03/handouts/cyclone-safety.pdf (2002) BASE Show details 4 Cyclone: A safe dialect of C Trevor Jim; Greg Morrisett; Dan Grossman... In: http://www.cs.cornell.edu/home/danieljg/papers/cyclone.ps (2001) BASE Show details 5 Typed Memory Management in a Calculus of Capabilities David Walker; Karl Crary; Greg Morrisett In: http://www.cs.cornell.edu/talc/papers/capabilities-tr.pdf (2000) BASE Show details 6 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 7 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 8 Cyclone: A safe dialect of C Trevor Jim; Greg Morrisett; Dan Grossman... In: http://www.eecs.harvard.edu/~greg/cyclone/papers/cyclone-safety.ps BASE Show details 9 Alias types for recursive data structures David Walker; Greg Morrisett In: http://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www15819A3s2001/aliastypes01-02-21.ps BASE Show details 10 Abstract Cyclone: A safe dialect of C Trevor Jim; Greg Morrisett; Dan Grossman... In: http://www.cs.washington.edu/homes/djg/papers/cyclone.pdf 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 10 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0