ccs.neu.edu: 24 stories from 16 submitters

  1. 4
    Mathematics of the impossible: Computational Complexity book pdf compsci ccs.neu.edu
    abhi9u avatar via abhi9u 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 11
    A Typed Programming Language pdf apl plt ccs.neu.edu
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 0
    How to Design Classes (Draft) book java programming ccs.neu.edu
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 15
    Type Systems as Macros formalmethods lisp ml plt ccs.neu.edu
    molloy avatar via molloy 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 4
    Fortifying Macros (2010) ☶ pdf lisp plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 4
    Logical Types for Untyped Languages (2010) pdf plt ccs.neu.edu
    GeoffWozniak avatar via GeoffWozniak 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 11
    Abstracting Abstract Machines (2011) ☶ pdf formalmethods plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  8. 5
    Type Systems as Macros (2017) ☶ pdf compilers plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 18
    Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) pdf lisp programming ccs.neu.edu
    calvin avatar via calvin 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  10. 4
    My Favorite Bug (WadlerFest 2016) pdf debugging plt practices ccs.neu.edu
    bennn avatar via bennn 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 3
    Much Ado About Nothing: Putting Java's Null in its Place (2008) pdf compsci java programming ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    How to Design Programs, Second Edition (2014) book programming ccs.neu.edu
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 3
    CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers pdf browsers cryptography security ccs.neu.edu
    koomi avatar via koomi 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 1
    History of Programming Languages Course: Summary and Materials (Northeastern University) pdf compsci historical ccs.neu.edu
    cooler_ranch avatar via cooler_ranch 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 2
    Programming with Class in Racket lisp programming ccs.neu.edu
    zem avatar via zem 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 6
    An Array-Oriented Language with Static Rank Polymorphism pdf compsci ccs.neu.edu
    craigstuntz avatar via craigstuntz 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  17. 7
    Is Sound Gradual Typing Dead? pdf compsci lisp programming ccs.neu.edu
    ngrilly avatar via ngrilly 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 5
    Growing a Programmer culture programming ccs.neu.edu
    zem avatar via zem 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  19. 4
    Ziggurat is a meta-language system pdf compilers lisp ccs.neu.edu
    animatronic avatar via animatronic 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 15
    The Racket Manifesto lisp programming ccs.neu.edu
    zedoary avatar via zedoary 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 2
    URDB: A Universal Reversible Debugger Based on Decomposing Debugging Histories pdf compsci ccs.neu.edu
    animatronic avatar via animatronic 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 2
    CTPPL: A Continuous Time Probabilistic Programming Language pdf compsci ccs.neu.edu
    animatronic avatar via animatronic 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 1
    Functional Objects pdf slides compsci ccs.neu.edu
    pushcx avatar via pushcx 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 9
    Optimization Coaching in Racket pdf compsci lisp programming ccs.neu.edu
    BruceM avatar via BruceM 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments