Stories tagged as plt – Programming language theory, types, design
  1. 13
    Zig: January 2018 in Review compilers plt andrewkelley.me
    jfo avatar via jfo 6 months ago | cached | 6 comments
  2. 26
    We've Already Thought the Unthinkable ☶ historical plt hillelwayne.com
    hwayne avatar authored by hwayne 6 months ago | cached | 17 comments
  3. 26
    Thinking the unthinkable: What we cannot think in programming plt tomasp.net
    yumaikas avatar via yumaikas 6 months ago | cached | 24 comments
  4. 15
    Implicit functors ml plt jobjo.github.io
    brendan avatar via brendan 7 months ago | cached | 3 comments
  5. 6
    10 short surrealists reflections about code art plt programming medium.com
    chobeat avatar authored by chobeat 7 months ago | cached | 1 comment
  6. 5
    Deny Capabilities for Safe, Fast Actors (2016) plt blog.acolyer.org
    dbremner avatar via dbremner 7 months ago | cached | no comments
  7. 5
    Why NOT to add the pipeline operator to JavaScript (or TypeScript, etc.)? javascript plt djedr.github.io
    calvin avatar via calvin 7 months ago | cached | no comments
  8. 3
    Crash Course on Notation in Programming Language Theory (2012) plt siek.blogspot.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 7 months ago | cached | 1 comment
  9. 12
    Selling Laziness haskell plt programming usrsb.in
    beala avatar authored by beala 7 months ago | cached | 28 comments
  10. 4
    Ask: Is it possible to infer a general type signature from a more specific type signature? ask plt stackoverflow.com
    maxhallinan avatar authored by maxhallinan 7 months ago | cached | 2 comments
  11. 13
    A practitioner’s guide to reading programming languages papers compsci plt blog.acolyer.org
    calvin avatar via calvin 7 months ago | cached | no comments
  12. 3
    Gradual Typing for Smalltalk (2013) pdf plt hal.inria.fr
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  13. 31
    Unsafe Zig is Safer Than Unsafe Rust compilers plt programming andrewkelley.me
    jfo avatar via jfo 7 months ago | cached | 14 comments
  14. 3
    Curry your calls, uncurry your returns javascript plt programming chriswarbo.net
    chriswarbo avatar authored by chriswarbo 7 months ago | cached | no comments
  15. 8
    Earley Parsing Explained plt loup-vaillant.fr
    mattgreenrocks avatar via mattgreenrocks 7 months ago | cached | 1 comment
  16. 13
    How to prove a compiler correct compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 7 months ago | cached | no comments
  17. 1
    On Storytelling, by Evan Czaplicki, at Deconstruct 2017 (20 minutes, transcript available) ☶ video culture elm plt deconstructconf.com
    Sietsebb avatar via Sietsebb 7 months ago | cached | no comments
  18. 6
    What is a programming language? plt willcrichton.net
    hwayne avatar via hwayne 7 months ago | cached | 1 comment
  19. 27
    spectre and the end of langsec plt security wingolog.org
    calvin avatar via calvin 7 months ago | cached | 10 comments
  20. 19
    Considerations for programming language design: a rebuttal compilers plt hackernoon.com
    calvin avatar via calvin 7 months ago | cached | 5 comments
  21. 11
    Ask: Type systems in natural languages? ☶ ask compilers plt
    faitswulff avatar authored by faitswulff 7 months ago | 11 comments
  22. 11
    Tell us why your language sucks (2008) ☶ haskell plt drmaciver.com
    hwayne avatar via hwayne 8 months ago | cached | 6 comments
  23. 3
    One equality operator to rule them all dotnet plt mzabani.wordpress.com
    calvin avatar via calvin 8 months ago | cached | no comments
  24. 9
    Zig: December 2017 in Review compilers plt programming andrewkelley.me
    jfo avatar via jfo 8 months ago | cached | no comments
  25. 3
    Single-Responsibility Principle done right plt programming rcardin.github.io
    calvin avatar via calvin 8 months ago | cached | 1 comment
<< Page 7 | Page 9 >>