Stories tagged as plt Programming language theory, types, design

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

  1. 4
    Type inference that sticks plt jaredforsyth.com
    azhenley avatar via azhenley 5 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 17
    Comprehensive Ruby 3.2 changelog plt ruby rubyreferences.github.io
    zverok avatar authored by zverok 16 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 8
    Future of Memory Safety: Challenges and Recommendations pdf plt security digital-lab-wp.consumerreports.org
    Corbin avatar via Corbin 4 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 15
    Type Inference plt veera.app
    veera avatar authored by veera 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 7
    Capability-Safety I: Prelude plt rust blog.yoshuawuyts.com
    5d22b avatar via 5d22b 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 3
    Working with Effect Handlers video plt vimeo.com
    crowdhailer avatar authored by crowdhailer 5 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 29
    How Austral’s Linear Type Checker Works plt rust borretti.me
    adaszko avatar via adaszko 7 days ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  8. 5
    Darklang Release 9 plt programming release web blog.darklang.com
    pbiggar avatar authored by pbiggar 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  9. 4
    Gradual Soundness: Lessons from Static Python plt python programming-journal.org
    mpweiher avatar via mpweiher 8 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 75
    Cyber is a new language for fast, efficient, and concurrent scripting plt cyberscript.dev
    jado avatar via jado 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 27 comments
  11. 38
    Too many words about Rust's function syntax plt rust steveklabnik.com
    jado avatar via jado 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  12. 31
    Distinguishing an Interpreter from a Compiler compilers plt tratt.net
    ltratt avatar authored by ltratt 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  13. 10
    Making sense of TypeScript using set theory javascript plt blog.thoughtspile.tech
    calvin avatar via calvin 11 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 17
    Tcl the misunderstood (2006) plt programming antirez.com
    dzwdz avatar via dzwdz 12 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 9
    Functional Python, Part II: Dial M for Monoid haskell plt python tweag.io
    adamshaylor avatar via adamshaylor 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 5
    Source code for Adobe PostScript 1.0 released historical plt computerhistory.org
    lorddimwit avatar via lorddimwit 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 29
    A few programming language features I’d like to see plt neilmadden.blog
    calvin avatar via calvin 16 days ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  18. 2
    Tail recursion in REBOL (2001) plt ll1.ai.mit.edu
    lorddimwit avatar via lorddimwit 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 9
    Functional Classes plt blog.cleancoder.com
    raymii avatar via raymii 17 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 4
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) pdf compilers compsci plt eecs.berkeley.edu
    chrislloyd avatar via chrislloyd 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 43
    Typst: A Programmable Markup Language for Typesetting pdf plt user.tu-berlin.de
    calvin avatar via calvin 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  22. 2
    Mechanizing Modern Mathematics audio compsci math plt typetheoryforall.com
    Corbin avatar via Corbin 18 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 4
    EcmaScript spec is ready-to-use interpreter. It is attribute affix grammar. It is PLT paradise javascript plt github.com
    safinaskar avatar authored by safinaskar 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  24. 24
    Why We Need to Know LR and Recursive Descent Parsing Techniques compilers plt tratt.net
    ltratt avatar authored by ltratt 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 41 comments
  25. 5
    Logic at its Limit: The Grelling-Nelson Paradox video compsci math plt youtube.com
    Corbin avatar via Corbin 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment

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

Page 2 >>