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

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

  1. 8
    The Hardest Problem in Type Theory [Uniqueness of Identity Proofs] video math plt youtube.com
    river avatar via river 13 hours ago | cached | no comments
  2. 13
    Memory Management in Lobster plt aardappel.github.io
    lorddimwit avatar via lorddimwit 2 days ago | cached | no comments
  3. 61
    passerine: A small extensible programming language designed for concise expression with little code plt github.com
    technetium avatar via technetium 2 days ago | cached | 11 comments
  4. 10
    Introducing Triton: Open-Source GPU Programming for Neural Networks ai graphics plt openai.com
    GrayGnome avatar via GrayGnome 2 days ago | cached | 2 comments
  5. 36
    Bridging a typed and an untyped world haskell plt blog.noredink.com
    michaelglass avatar authored by michaelglass 4 days ago | cached | 2 comments
  6. 8
    C was already sharp video plt unix youtube.com
    sebastian avatar via sebastian 4 days ago | cached | 1 comment
  7. 55
    What's bad about Julia? plt programming viralinstruction.com
    arp242 avatar via arp242 4 days ago | cached | 27 comments
  8. 35
    tylr plt tylr.fun
    355E3B avatar via 355E3B 7 days ago | cached | 6 comments
  9. 16
    Write signatures, not schemas plt catern.com
    catern avatar authored by catern 7 days ago | cached | 16 comments
  10. 8
    Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming c plt hirrolot.github.io
    calvin avatar via calvin 8 days ago | cached | 4 comments
  11. 6
    Beautiful ideas in programming: generators and continuations lisp plt python hhyu.org
    agent281 avatar via agent281 9 days ago | cached | no comments
  12. 17
    C--: A Portable Assembly Language (1997) pdf assembly plt microsoft.com
    sebastian avatar via sebastian 14 days ago | cached | 4 comments
  13. 3
    Fundamentals of Lambda Calculus & Functional Programming in JavaScript video plt youtube.com
    agent281 avatar via agent281 14 days ago | cached | 1 comment
  14. 5
    Creating the Golfcart Programming Language go plt healeycodes.com
    healeycodes avatar authored by healeycodes 15 days ago | cached | no comments
  15. 40
    Thoughts on Racket & Chez Scheme lisp plt beautifulracket.com
    samdphillips avatar via samdphillips 16 days ago | cached | 12 comments
  16. 14
    The History of Standard ML slides video historical ml plt pldi21.org
    eatonphil avatar via eatonphil 17 days ago | cached | no comments
  17. 5
    Classes vs. Prototypes: Some Philosophical and Historical Observations pdf historical philosophy plt citeseerx.ist.psu.edu
    cript0nauta avatar via cript0nauta 18 days ago | cached | no comments
  18. 8
    The next 700 programming languages (1966) pdf plt cs.cmu.edu
    calvin avatar via calvin 18 days ago | cached | 1 comment
  19. 26
    Updating the Go Memory Model (Memory Models, Part 3) go plt research.swtch.com
    eatonphil avatar via eatonphil 18 days ago | cached | no comments
  20. 9
    Building Blocks of the Sasquach Type System plt blog.pentlander.com
    Pentlander avatar authored by Pentlander 20 days ago | cached | 4 comments
  21. 21
    No more DSLs: Implement and deploy a distributed system with a single program distributed plt catern.com
    catern avatar authored by catern 21 days ago | cached | 15 comments
  22. 23
    Leaning toothpick syndrome plt en.wikipedia.org
    breck avatar via breck 22 days ago | cached | 2 comments
  23. 17
    Extend Your Language, Don’t Alter It plt hirrolot.github.io
    zem avatar via zem 24 days ago | cached | 2 comments
  24. 10
    Programming Language Memory Models plt research.swtch.com
    lcapaldo avatar via lcapaldo 24 days ago | cached | 1 comment
  25. 35
    Notes on structured concurrency, or: Go statement considered harmful [2018] plt vorpus.org
    idrougge avatar via idrougge 26 days ago | cached | 19 comments
Page 2 >>