1. 21
    Sketch.systems design formalmethods testing sketch.systems
    brendan avatar via brendan 17 days ago | cached | 8 comments
  2. 16
    KRust: A Formal Executable Semantics of Rust pdf formalmethods plt programming rust arxiv.org
    brendan avatar via brendan 1 month ago | cached | 1 comment
  3. 6
    Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
    brendan avatar via brendan 2 months ago | cached | no comments
  4. 5
    Seven Sketches in Compositionality: An Invitation to Applied Category Theory pdf book math arxiv.org
    brendan avatar via brendan 3 months ago | cached | no comments
  5. 7
    YOW! Conference 2017 - Ken Scambler - Adopting FP: A Human-First Approach video practices programming youtube.com
    brendan avatar via brendan 3 months ago | cached | 2 comments
  6. 15
    Implicit functors ml plt jobjo.github.io
    brendan avatar via brendan 4 months ago | cached | 3 comments
  7. 15
    "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram video formalmethods programming youtube.com
    brendan avatar via brendan 8 months ago | cached | 2 comments
  8. 9
    Chris Smith: CodeWorld - Teaching Haskell to Children video education haskell programming youtube.com
    brendan avatar via brendan 1 year ago | cached | 1 comment
  9. 21
    Compiling C to printable x86, to make an executable research paper video assembly compilers compsci youtube.com
    brendan avatar via brendan 1 year ago | cached | 2 comments
  10. 6
    Servo Architecture: Safety and Performance video browsers programming rust youtube.com
    brendan avatar via brendan 1 year ago | cached | 1 comment