[go: up one dir, main page]

Stories tagged as plt Programming language theory, types, design

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

  1. 35
    Parse, Don't Validate — In a Language That Doesn't Want You To javascript plt cekrem.github.io
    via FedericoSchonborn
    caches
    23 comments
  2. 4
    Solod v0.2: Networking, new targets, friendlier interop go plt antonz.org
    via dstelow
    caches
    no comments
  3. 12
    Evaluation order and nontermination in query languages databases plt rntz.net
    authored by rntz
    caches
    no comments
  4. 21
    Typst: Designing for Incrementality video plt youtu.be
    via isuffix
    caches
    1 comment
  5. 72
    Ante: New Way to Blend Borrow Checking and Reference Counting compsci plt verdagon.dev
    via veqq
    caches
    23 comments
  6. 23
    A Core Calculus for Documents (2024) pdf plt dl.acm.org
    via typesanitizer
    caches
    7 comments
  7. 32
    A Typed, Algebraic Approach to Parsing (2019) pdf plt cl.cam.ac.uk
    via fanf
    caches
    4 comments
  8. 81
    Prism: An Impure Functional Language With Typed Effects plt stephendiehl.com
    via jcmkk3
    caches
    33 comments
  9. 11
    Type Inference (Part 1) compilers plt blog.akhil.cc
    via thunderseethe
    caches
    no comments
  10. 41
    Record type inference for dummies plt haskellforall.com
    authored by Gabriella439
    caches
    7 comments
  11. 2
    Implementing a Custom Query Language with Python and Apache Spark ☶ databases plt nchammas.com
    authored by nchammas
    caches
    no comments
  12. 39
    Rhombus v1.0: A Racket flavored language with syntax lisp plt blog.racket-lang.org
    via orib
    caches
    6 comments
  13. 2
    Why languages should never reorder structs video plt programming youtu.be
    via mrunix
    caches
    2 comments
  14. 3
    A framework for systematically addressing undefined behaviour in the C++ Standard pdf c++ plt programming open-std.org
    via linkdd
    caches
    no comments
  15. 23
    Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023) historical person plt thenewstack.io
    via EvanHahn
    caches
    3 comments
  16. 3
    Theorems for free! (1989) pdf plt people.mpi-sws.org
    via hwayne
    caches
    1 comment
  17. 67
    Control Structures in Programming Languages book plt xavierleroy.org
    via josef
    caches
    9 comments
  18. 17
    Datalog logiclangs plt philipzucker.com
    via quad
    caches
    no comments
  19. 84
    Deconstructing Datalog logiclangs plt rntz.net
    authored by rntz
    caches
    5 comments
  20. 11
    Lifting E-Graphs plt philipzucker.com
    via mjn
    caches
    no comments
  21. 26
    Bab: a family of hashing functions for p2p networks distributed plt bab-hash.org
    via dustyweb
    caches
    4 comments
  22. 20
    A Brief Introduction to Icon plt cs.arizona.edu
    via veqq
    caches
    6 comments
  23. 88
    Nontrailing separators do not spark joy plt buttondown.com/hillelwayne
    via fanf
    caches
    52 comments
  24. 13
    ATS Programming Language plt cs.bu.edu
    via veqq
    caches
    no comments
  25. 4
    Programming Languages Course Reboot ☶ education plt docs.google.com
    via priime
    caches
    no comments

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