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

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

  1. 2
    On the perils of large-scale analysis of Github data video plt science youtube.com
    hwayne avatar via hwayne 23 hours ago | cached | 1 comment
  2. 7
    Type the World philosophy plt breckyunits.com
    breck avatar authored by breck 24 hours ago | cached | 2 comments
  3. 3
    Algebraic data types aren't numbers on steroids haskell plt blog.ploeh.dk
    hwayne avatar via hwayne 28 hours ago | cached | 1 comment
  4. 93
    No, dynamic type systems are not inherently more open haskell plt lexi-lambda.github.io
    Shapr avatar via Shapr 2 days ago | cached | 55 comments
  5. 12
    Units of Measure in Rust with Refinement Types plt rust yoric.github.io
    Screwtape avatar via Screwtape 4 days ago | cached | 1 comment
  6. 3
    A (brief) retrospective on transactional memory (2010) compsci plt joeduffyblog.com
    Shapr avatar via Shapr 4 days ago | cached | no comments
  7. 11
    Verona: Research programming language for concurrent ownership plt github.com
    SeanTAllen avatar via SeanTAllen 5 days ago | cached | 2 comments
  8. 25
    Unix, Plan 9, and Lurking Smalltalk pdf historical osdev plt cs.kent.ac.uk
    enkiv2 avatar via enkiv2 5 days ago | cached | 10 comments
  9. 10
    data-types for representing stream-processing programs haskell plt jmtd.net
    jmtd avatar authored by jmtd 7 days ago | cached | 2 comments
  10. 6
    Language as an intellectual tool: From hieroglyphics to APL (1991) pdf plt citeseerx.ist.psu.edu
    breck avatar via breck 7 days ago | cached | no comments
  11. 1
    Pair programming in Sentient ☶ video compsci javascript plt programming tuzz.tech
    tuzz avatar authored by tuzz 8 days ago | cached | no comments
  12. 9
    Cons cells vs. Linked Lists lisp plt funcall.blogspot.com
    sjamaan avatar via sjamaan 8 days ago | cached | 1 comment
  13. 5
    Executable Grammars: Seeking the minimal extensible self-compiling compiler (2009) video compilers plt youtube.com
    breck avatar via breck 9 days ago | cached | no comments
  14. 20
    Linearity and Erasure in Idris 2 compilers plt type-driven.org.uk
    ehamberg avatar via ehamberg 11 days ago | cached | 1 comment
  15. 7
    What is an Object? (1989) databases plt bkent.net
    hwayne avatar via hwayne 12 days ago | cached | 6 comments
  16. 6
    The Setup-Cleanup problem plt programming blog.gnoack.org
    calvin avatar via calvin 12 days ago | cached | 1 comment
  17. 2
    A Brief History of S (1994) ☶ pdf historical plt math.uwaterloo.ca
    Sietsebb avatar via Sietsebb 12 days ago | cached | no comments
  18. 4
    Dhall - Year in review (2019-2020) plt haskellforall.com
    A-Za-z0-9 avatar via A-Za-z0-9 13 days ago | cached | no comments
  19. 10
    Finding unique items - hash vs sort? c++ plt douglasorr.github.io
    gerikson avatar via gerikson 13 days ago | cached | 5 comments
  20. 16
    Dreaming of a Data Checked Language plt breckyunits.com
    breck avatar authored by breck 14 days ago | cached | 50 comments
  21. 19
    Atypical: A Differently-Optimized Type System plt kronopath.net
    calvin avatar via calvin 20 days ago | cached | no comments
  22. 51
    Defunctionalization: Everybody Does It, Nobody Talks About It plt blog.sigplan.org
    355E3B avatar via 355E3B 22 days ago | cached | 11 comments
  23. 4
    Compile Time Typing Problem plt wiki.c2.com
    tmcb avatar via tmcb 22 days ago | cached | no comments
  24. 9
    Glob Matching Can Be Simple And Fast Too plt research.swtch.com
    cup avatar via cup 23 days ago | cached | no comments
  25. 12
    The Type System of the Future plt docs.google.com
    Hail_Spacecake avatar via Hail_Spacecake 24 days ago | cached | 17 comments
Page 2 >>