Stories tagged as plt Programming language theory, types, design

Most often also tagged with compilers rust formalmethods lisp haskell ml javascript historical

  1. 6
    Carbon Memory Safety first deep dive drive.google.com
    via nikola
    caches
    1 comment
  2. 13
    Spatial languages: writing code in 2D shukla.io
    via janiczek
    caches
    6 comments
  3. 3
    Algebraic effects and handlers in portable C99 github.com/koka-lang
    via aka_dude
    caches
    4 comments
  4. 31
    Rewriting the Futhark type checker futhark-lang.org
    via abhin4v
    caches
    no comments
  5. 6
    Parallelizing Compilation: In-Process vs Multi-Process ☶
    authored by Riolku 14 comments
  6. 11
    Capture Clauses as Effects blog.yoshuawuyts.com
    via aiono
    caches
    9 comments
  7. 19
    Thoughts On Integers (2023) blog.xoria.org
    via abhin4v
    caches
    22 comments
  8. 22
    An informal tutorial on Joy kevinalbrecht.com
    via veqq
    caches
    no comments
  9. 24
    Another Taste of Verse youtube.com
    via janus
    caches
    1 comment
  10. 21
    i've been thinking about null pointers sebsite.pw
    via runxiyu
    caches
    29 comments
  11. 4
    Simple Hindley-Milner in Practice (2025) andrevdm.com
    via abhin4v
    caches
    no comments
  12. 17
    Temper Language temperlang.dev
    via veqq
    caches
    6 comments
  13. 30
    two case studies of NaN sebsite.pw
    authored by seb
    caches
    37 comments
  14. 20
    Almost Always Unsigned (2022) graphitemaster.github.io
    via intelfx
    caches
    10 comments
  15. 26
    NoiseLang: Where N = 5 is a Dirac delta manualmeida.dev
    via viraptor
    caches
    4 comments
  16. 3
    CCL: Categorical Configuration Language github.com/chshersh
    via linkdd
    caches
    2 comments
  17. 25
    Mechanized type inference for record concatenation haskellforall.com
    authored by Gabriella439
    caches
    3 comments
  18. 27
    Signed Integers By Default gingerbill.org
    via runxiyu
    caches
    46 comments
  19. 154
    Odin 1.0 Announcement youtube.com
    authored by gingerBill
    caches
    56 comments
  20. 4
    Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees dl.acm.org
    via jamii
    caches
    no comments
  21. 5
    Forlorn Hope of Fortran Modernisation amenzwa.github.io
    via veqq
    caches
    4 comments
  22. 24
    Reducing Assumptions, Exploding Your Code ryelang.org
    authored by refaktor
    caches
    12 comments
  23. 36
    Parse, Don't Validate — In a Language That Doesn't Want You To cekrem.github.io
    via FedericoSchonborn
    caches
    25 comments
  24. 4
    Solod v0.2: Networking, new targets, friendlier interop antonz.org
    via dstelow
    caches
    no comments
  25. 12
    Evaluation order and nontermination in query languages rntz.net
    authored by rntz
    caches
    no comments

Tip: read stories across multiple tags with /t/tag1,tag2