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

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

  1. 2
    Protel I historical plt messagepassing.blogspot.com
    calvin avatar via calvin 2 days ago | cached | no comments
  2. 29
    Crash Course on Notation in Programming Language Theory (2012) plt siek.blogspot.com
    hwayne avatar via hwayne 3 days ago | cached | 1 comment
  3. 15
    Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal education plt blog.sigplan.org
    notagoodidea avatar via notagoodidea 6 days ago | cached | 1 comment
  4. 9
    Logica: organizing your data queries, making them universally reusable and fun databases plt opensource.googleblog.com
    aarroyoc avatar via aarroyoc 6 days ago | cached | no comments
  5. 8
    Coverage Guided, Property Based Testing pdf plt testing lemonidas.github.io
    calvin avatar via calvin 7 days ago | cached | 1 comment
  6. 5
    Python 3 Types in the Wild: A Tale of Two Type Systems pdf plt python cs.rpi.edu
    seasidedrum avatar via seasidedrum 8 days ago | cached | 1 comment
  7. 24
    Why concatenative programming matters (2012) compsci plt evincarofautumn.blogspot.com
    technetium avatar via technetium 10 days ago | cached | 13 comments
  8. 4
    ILX: Extending the .NET Common IL for Functional Language Interoperability (2001) pdf compilers dotnet haskell plt microsoft.com
    calvin avatar via calvin 12 days ago | cached | no comments
  9. 6
    Giml's type inference engine plt gilmi.me
    pushcx avatar via pushcx 12 days ago | cached | 1 comment
  10. 31
    Wuffs the Language formalmethods plt programming security github.com
    bshanks avatar via bshanks 13 days ago | cached | 3 comments
  11. 19
    A History of Clojure pdf clojure lisp plt download.clojure.org
    xiaq avatar via xiaq 15 days ago | cached | 4 comments
  12. 28
    egg plt rust egraphs-good.github.io
    355E3B avatar via 355E3B 17 days ago | cached | no comments
  13. 13
    Not Growing a Language java plt kevingal.com
    calvin avatar via calvin 17 days ago | cached | 14 comments
  14. 4
    The BNF Dream plt blog.chewxy.com
    breck avatar via breck 18 days ago | cached | 3 comments
  15. 5
    Background: how we got the generics we have (2020) java plt cr.openjdk.java.net
    dbremner avatar via dbremner 19 days ago | cached | 1 comment
  16. 16
    The compiler will optimize that away compilers plt blog.royalsloth.eu
    raymii avatar via raymii 20 days ago | cached | 11 comments
  17. 4
    Functorio: having fun with functional programming video games plt youtube.com
    adamshaylor avatar via adamshaylor 21 days ago | cached | no comments
  18. 3
    Brainfuck Interpreter and Tape Visualizer plt fatiherikli.github.io
    hwayne avatar via hwayne 21 days ago | cached | no comments
  19. 6
    Types from data: Making structured data first-class citizens in F# [2016] dotnet ml plt tomasp.net
    srid avatar via srid 21 days ago | cached | 1 comment
  20. 16
    Type-Level Programming in TypeScript show compsci plt mjj.io
    majjoha avatar authored by majjoha 22 days ago | cached | no comments
  21. 90
    Developer tools can be magic. Instead, they collect dust plt programming pathsensitive.com
    jkoppel avatar authored by jkoppel 23 days ago | cached | 36 comments
  22. 1
    Shakeins: Non-Intrusive Aspects for Middleware Frameworks (2006) pdf java plt scaling tal.forum2.org
    Corbin avatar via Corbin 23 days ago | cached | 1 comment
  23. 15
    Is Inheritance That Evil? plt practices thevaluable.dev
    raymii avatar via raymii 24 days ago | cached | 7 comments
  24. 19
    egg: Fast and Extensible Equality Saturation ☶ video compsci plt youtube.com
    fwg avatar via fwg 26 days ago | cached | no comments
  25. 34
    20 Intriguing, Unusual, and Goofy Programming Languages plt dev.to
    hwayne avatar via hwayne 26 days ago | cached | 37 comments
Page 2 >>