• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Dan Grossman (10)
    • The Pennsylvania State University CiteSeerX Archives (10)
    • Greg Morrisett (7)
    • Michael Hicks (6)
    • Trevor Jim (6)
    • James Cheney (5)
    • Yanling Wang (5)
    • Benjamin S. Lerner (1)
    • Herman Venter (1)
    • Katherine F. Moore (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (10)
    • 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 – 10 of 10 1 High-level small-step operational semantics for transactions Katherine F. Moore; Dan Grossman In: http://www.cs.washington.edu/homes/kfm/atomsfamily_proofs.pdf (2008) 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.pdf (2002) BASE Show details 3 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 4 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 5 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 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 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 8 Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects Benjamin S. Lerner; Herman Venter; Dan Grossman In: http://www.cs.washington.edu/homes/djg/papers/oopsla2010jsaspects.pdf BASE Show details 9 Type Safety and Erasure Proofs for “A Type System for Coordinated Data Structures” Michael F. Ringenburg; Dan Grossman In: http://www.cs.washington.edu/homes/miker/coord/coord_types_tech_rep.pdf 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