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

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

  1. 6
    The Development of the Simula Languages pdf historical plt hannemyr.com
    friendlysock avatar via friendlysock 34 hours ago | cached | 1 comment
  2. 18
    Ideology video plt destroyallsoftware.com
    stchris avatar via stchris 36 hours ago | cached | 10 comments
  3. 4
    Forth Day - Fireside Chat (Chuck) (2019) video plt youtube.com
    WilhelmVonWeiner avatar via WilhelmVonWeiner 3 days ago | cached | no comments
  4. 8
    Designing a functional programming language: Yatta plt functional.blog
    calvin avatar via calvin 3 days ago | cached | 1 comment
  5. 8
    Why no one uses functional languages (1998) plt dl.acm.org
    geekingfrog avatar via geekingfrog 7 days ago | cached | 12 comments
  6. 41
    Some Were Meant for C pdf c plt cs.kent.ac.uk
    armael avatar via armael 8 days ago | cached | 61 comments
  7. 6
    Type inference in less than 100 lines of Rust plt play.rust-lang.org
    icefox avatar via icefox 8 days ago | cached | no comments
  8. 2
    Type inference for monotonicity [2018] ☶ plt users.sussex.ac.uk
    ilmu avatar via ilmu 10 days ago | cached | no comments
  9. 5
    Controlling mutation with types plt ruby rust blog.jcoglan.com
    stchris avatar via stchris 10 days ago | cached | no comments
  10. 13
    Quasiquote - Literal Magic lisp plt weinholt.se
    sjamaan avatar via sjamaan 12 days ago | cached | 3 comments
  11. 17
    macropy: syntactic macros for Python plt python macropy3.readthedocs.io
    karlicoss avatar via karlicoss 13 days ago | cached | 3 comments
  12. 13
    The Naked Truth About Writing a Programming Language (2014) d plt digitalmars.com
    albatross avatar via albatross 14 days ago | cached | no comments
  13. 5
    ALGOL 60 at 60: The greatest computer language you've never used and grandaddy of the programming family tree compilers historical plt theregister.co.uk
    calvin avatar via calvin 14 days ago | cached | 2 comments
  14. 16
    The History of Standard ML ☶ pdf historical ml plt smlfamily.github.io
    felixyz avatar via felixyz 15 days ago | cached | 5 comments
  15. 6
    ZetZ - a symbolic verifier and transpiler to bare metal C c compilers formalmethods plt github.com
    jado avatar via jado 17 days ago | cached | 1 comment
  16. 5
    Why I use typed functional programming plt luizsol.com
    srid avatar via srid 17 days ago | cached | no comments
  17. 5
    Kotlingrad: Shape-Safe Differentiable Programming with Algebraic Data Types ai compilers compsci java math plt github.com
    breandan avatar authored by breandan 19 days ago | cached | no comments
  18. 6
    in:verse is a programming language and environment for exploring the conflux of poetry, visuals, mat art plt inverse.website
    qqbear avatar via qqbear 20 days ago | cached | no comments
  19. 18
    micro-mitten: simple Rust-like lang with compile-time memory management plt rust github.com
    tomekw avatar via tomekw 21 days ago | cached | no comments
  20. 40
    v0.8 of Gleam, the statically typed language for the Erlang VM, is out erlang plt release lpil.uk
    lpil avatar authored by lpil 22 days ago | cached | 9 comments
  21. 5
    Programming in Three Dimensions ☶ plt semanticscholar.org
    felixyz avatar via felixyz 23 days ago | cached | 2 comments
  22. 16
    Should x < $foo < y read from $foo once or twice? Perl debates perl plt github.com
    lordgilman avatar via lordgilman 24 days ago | cached | 13 comments
  23. 5
    LPS: Logic Production Systems ☶ plt lps.doc.ic.ac.uk
    Sietsebb avatar via Sietsebb 24 days ago | cached | 1 comment
  24. 10
    Hot Reloadable structs: Memory Mapping plt rust mun-lang.org
    kolen avatar via kolen 28 days ago | cached | 1 comment
  25. 1
    Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language? pdf plt programming nischalshrestha.me
    srid avatar via srid 28 days ago | cached | no comments
Page 2 >>