Search
 
   

11 results for "domain:cs.yale.edu"

  1. 5
    Automatic Generation of Normalized Relational Schemas from Nested Key-Value Data pdf compsci databases cs-www.cs.yale.edu
    pushcx avatar via pushcx 9 months ago | cached | no comments
  2. 3
    PIOS - Parallel Instructional Operating System ☶ compsci education programming zoo.cs.yale.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  3. 9
    Mio: A High-Performance Multicore IO Manager for GHC (2013) pdf compilers haskell haskell.cs.yale.edu
    NinjaTrappeur avatar via NinjaTrappeur 1 year ago | cached | 2 comments
  4. 2
    CertiKOS: An Extenisble Architecture for Building Certified Concurrent OS Kernels programming flint.cs.yale.edu
    sanxiyn avatar via sanxiyn 1 year ago | cached | no comments
  5. 6
    The Haskell School of Music — From Signals to Symphonies book haskell haskell.cs.yale.edu
    pushcx avatar via pushcx 3 years ago | cached | no comments
  6. 13
    Notes on Theory of Distributed Systems pdf distributed cs.yale.edu
    julienXX avatar via julienXX 3 years ago | cached | 2 comments
  7. 11
    The Haskell School of Music pdf haskell haskell.cs.yale.edu
    englishm avatar via englishm 3 years ago | cached | 1 comment
  8. 2
    Dissent: Accountable Anonymous Group Communication ☶ privacy security dedis.cs.yale.edu
    vjoel avatar via vjoel 3 years ago | cached | no comments
  9. 5
    Settable and Non-Interfering Signal Functions for FRP: How a First-Order Switch is More Than Enough ☶ pdf compsci haskell.cs.yale.edu
    SeanTAllen avatar via SeanTAllen 3 years ago | cached | no comments
  10. 6
    A History of Haskell: Being Lazy With Class pdf haskell haskell.cs.yale.edu
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments
  11. 14
    Calvin: Fast Distributed Transactions for Partitioned Database Systems pdf databases cs.yale.edu
    moses avatar via moses 4 years ago | cached | 5 comments