Stories tagged as plt Programming language theory, types, design

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

  1. 4
    Learning Lean: Part 1 math plt rkirov.github.io
    evmar avatar via evmar 22 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 59
    Why I'm Writing a Scheme Implementation in 2025 (The Answer is Async Rust) compilers lisp plt rust maplant.com
    mplant avatar authored by mplant 23 days ago |
    Archive.org Archive.today Ghostarchive
    | 29 comments
  3. 26
    Type safe variadic printf, without macros api plt stranger.systems
    thatonelutenist avatar authored by thatonelutenist 26 days ago |
    Archive.org Archive.today Ghostarchive
    | 24 comments
  4. 29
    How do modern compilers choose which variables to put in registers? compilers plt langdev.stackexchange.com
    azeemba avatar via azeemba 26 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 3
    Using Branded Types in TypeScript javascript plt egghead.io
    chai avatar via chai 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 4
    Role of Composition in Computer Programming (1995) pdf apl plt dl.acm.org
    veqq avatar via veqq 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 15
    Algebraic effects are a functional approach to manage side effects plt crowdhailer.me
    crowdhailer avatar authored by crowdhailer 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  8. 9
    Iteration in one language, then all the others (2016) plt eev.ee
    hwayne avatar via hwayne 28 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 13
    Intensional Joy (a concatenative account of internal structure) plt pithlessly.github.io
    christine avatar authored by christine 28 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  10. 28
    A catalog of ways to generate SSA compilers plt bernsteinbear.com
    tekknolagi avatar authored by tekknolagi 29 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 48
    baffled by generational garbage collection lisp performance plt wingolog.org
    tumdum avatar via tumdum 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 21 comments
  12. 6
    LRGrep: Selecting Error Messages for LR parsers plt def.lakaban.net
    gasche avatar via gasche 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 13
    polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference ml plt github.com/storyyeller
    asb avatar via asb 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 20
    The Three Projections of Doctor Futamura (2009) plt blog.sigfpe.com
    zem avatar via zem 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  15. 10
    The inevitability of the borrow checker compilers plt yorickpeterse.com
    yorickpeterse avatar authored by yorickpeterse 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  16. 9
    A compiler IR for Scrapscript compilers plt bernsteinbear.com
    surprisetalk avatar via surprisetalk 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 8
    par: experimental concurrent language with an interactive playground ☶ plt github.com/faiface
    4ad avatar via 4ad 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 14
    Safety in Programming Languages is a Means to an End plt programming testing lewiscampbell.tech
    LAC-Tech avatar authored by LAC-Tech 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 21 comments
  19. 8
    Another monthly release: C3 0.6.6 is here plt release c3.handmade.network
    MaskRay avatar via MaskRay 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  20. 8
    Introducing sealed types plt cheriot.org
    calvin avatar via calvin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 26
    Pointers Are Complicated II, or: We need better language specs (2020) compilers plt ralfj.de
    jamesw avatar via jamesw 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 18 comments
  22. 5
    Writing brittle code plt blog.waleedkhan.name
    MiraWelner avatar via MiraWelner 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 11
    Parametric Subtyping for Structural Parametric Polymorphism plt blog.sigplan.org
    brendan avatar via brendan 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  24. 4
    Picking Equatable Names plt thunderseethe.dev
    icefox avatar via icefox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 11
    Bidirectional Typechecking is Bidirectional plt cybercat-institute.github.io
    juri avatar via juri 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments

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

<< Page 1 | Page 3 >>