Stories tagged as plt – Programming language theory, types, design

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

  1. 1
    Modeling State with TypeScript plt web azavea.com
    pcaisse avatar authored by pcaisse 1 hour ago | cached | no comments
  2. 17
    CI/CD pipelines: Monad, Arrow or Dart? devops ml plt roscidus.com
    calvin avatar via calvin 34 hours ago | cached | 3 comments
  3. 14
    Type Families in Typescript plt programming javiercasas.com
    javcasas avatar authored by javcasas 3 days ago | cached | 6 comments
  4. 3
    State of Valhalla - Section 2: Language Model java plt cr.openjdk.java.net
    calvin avatar via calvin 3 days ago | cached | no comments
  5. 11
    AnyDSL - A Partial Evaluation Framework for Programming High-Performance Libraries compilers performance plt anydsl.github.io
    sebastien avatar via sebastien 5 days ago | cached | 6 comments
  6. 14
    `MOST-POSITIVE-BIGNUM`: The Biggest Bignum in TI Lisp Machines (2008) historical lisp plt jwz.org
    pcr910303 avatar via pcr910303 6 days ago | cached | no comments
  7. 11
    Strongly Typed Events plt web tbray.org
    mpweiher avatar via mpweiher 6 days ago | cached | no comments
  8. 7
    Exploring borrowed annotations in C# dotnet plt blog.paranoidcoding.com
    calvin avatar via calvin 8 days ago | cached | no comments
  9. 40
    Microsoft: We're creating a new Rust-based programming language for secure coding ☶ plt rust zdnet.com
    spacejam avatar via spacejam 9 days ago | cached | 22 comments
  10. 18
    Deciding when to collect garbage plt programming yorickpeterse.com
    yorickpeterse avatar authored by yorickpeterse 10 days ago | cached | 5 comments
  11. 20
    Garbage Collection ยท Crafting Interpreters book c compilers plt craftinginterpreters.com
    pcr910303 avatar via pcr910303 11 days ago | cached | no comments
  12. 6
    Shell Has a Forth-like Quality (2017) plt programming unix oilshell.org
    pcr910303 avatar via pcr910303 11 days ago | cached | no comments
  13. 7
    How to make your papers run: Executable formal semantics for your language formalmethods plt tweag.io
    aborgna avatar via aborgna 14 days ago | cached | 1 comment
  14. 17
    Hilbert's rusty hotel plt blog.jcoglan.com
    calvin avatar via calvin 18 days ago | cached | 2 comments
  15. 3
    Use := for Assignment (Scala 3) plt scala github.com
    soc avatar via soc 19 days ago | cached | no comments
  16. 19
    Not beating C with 96 lines of Inko plt programming yorickpeterse.com
    yorickpeterse avatar authored by yorickpeterse 20 days ago | cached | 9 comments
  17. 3
    On Nexuses osdev plt devever.net
    Sietsebb avatar via Sietsebb 20 days ago | cached | no comments
  18. 26
    The Invention of Forth historical plt colorforth.github.io
    WilhelmVonWeiner avatar via WilhelmVonWeiner 23 days ago | cached | 2 comments
  19. 21
    A More Type-Driven Elixir Workflow? Maybe elixir plt well-ironed.com
    pzel avatar authored by pzel 27 days ago | cached | 3 comments
  20. 2
    Probabilistic Programming ☶ ai plt cs.cornell.edu
    LolPython avatar via LolPython 1 month ago | cached | no comments
  21. 6
    Jonesforth: A sometimes minimal FORTH compiler and tutorial assembly plt git.annexia.org
    zge avatar via zge 1 month ago | cached | 1 comment
  22. 10
    Compiling a Functional Language Using C++, Part 0 - Intro c++ compilers plt danilafe.com
    calvin avatar via calvin 1 month ago | cached | no comments
  23. 1
    Demystifying Async Programming in Javascript javascript plt yunchi.dev
    Hail_Spacecake avatar via Hail_Spacecake 1 month ago | cached | no comments
  24. 6
    Inko progress report: October 2019, including many improvements to the garbage collector compilers plt programming inko-lang.org
    yorickpeterse avatar authored by yorickpeterse 1 month ago | cached | no comments
  25. 5
    LoCal: A Language for Programs Operating on Serialized Data ☶ pdf c c++ compilers lisp plt recurial.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
Page 2 >>