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

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

  1. 3
    The A-Z of programming languages (2008) ☶ plt programming computerworld.com.au
    Sietsebb avatar via Sietsebb 43 hours ago | cached | no comments
  2. 1
    Totally Different Structural Programming Languages in ZigZag (2001) pdf plt users.jyu.fi
    enkiv2 avatar via enkiv2 2 days ago | cached | no comments
  3. 2
    A Universal Modular ACTOR Formalism For Artificial Intelligence (1973) pdf ai historical plt worrydream.com
    enkiv2 avatar via enkiv2 2 days ago | cached | no comments
  4. 46
    v0.3.0 of Gleam, the statically typed language for the Erlang VM, is out erlang ml plt release lpil.uk
    lpil avatar authored by lpil 6 days ago | cached | 5 comments
  5. 5
    Mechanically Deriving Binary Tree Iterators with Continuation Defunctionalization java plt abhinavsarkar.net
    abhin4v avatar authored by abhin4v 8 days ago | cached | no comments
  6. 7
    Lightweight Static Guarantees ml plt programming okmij.org
    mt avatar via mt 8 days ago | cached | 2 comments
  7. 12
    Arend Theorem Prover plt arend-lang.github.io
    knl avatar via knl 10 days ago | cached | no comments
  8. 11
    Inko progress report: July 2019 compilers plt programming inko-lang.org
    yorickpeterse avatar authored by yorickpeterse 13 days ago | cached | 3 comments
  9. 21
    Fixing C++ with Epochs c++ plt vittorioromeo.info
    A-Za-z0-9 avatar via A-Za-z0-9 13 days ago | cached | 12 comments
  10. 16
    Escaping Escaping compilers compsci plt practices axelsvensson.com
    axelsvensson avatar authored by axelsvensson 14 days ago | cached | 12 comments
  11. 7
    Towards Size Types in Futhark compilers plt programming futhark-lang.org
    athas avatar authored by athas 14 days ago | cached | 1 comment
  12. 17
    PROLOG Control in Six Slides lisp plt t3x.org
    tt avatar via tt 15 days ago | cached | no comments
  13. 41
    The perfect language (and why Go still isn’t it) ☶ plt snazz.xyz
    snazz avatar authored by snazz 17 days ago | cached | 58 comments
  14. 3
    A brief introduction to Semantic Dictionary Encoding compilers compsci plt hokstad.com
    eterps avatar via eterps 17 days ago | cached | no comments
  15. 4
    Commentary on ColorForth assembly historical plt web.archive.org
    WilhelmVonWeiner avatar via WilhelmVonWeiner 17 days ago | cached | no comments
  16. 6
    RFC: TreeBase show databases plt treenotation.org
    breck avatar authored by breck 18 days ago | cached | 9 comments
  17. 17
    The Masturbation Language (2017) ☶ show apl plt verisimilitudes.net
    verisimilitude avatar authored by verisimilitude 19 days ago | cached | 22 comments
  18. 7
    Forest 1.0: A Language and Toolkit for Programming with Filestores (2011) databases plt cs.princeton.edu
    breck avatar via breck 19 days ago | cached | 6 comments
  19. 13
    Are first class continuations a language-design dead end? lisp plt rain-1.github.io
    WilhelmVonWeiner avatar via WilhelmVonWeiner 20 days ago | cached | 6 comments
  20. 5
    Constructing a Generic Data Loader Component with good typechecking in Typescript plt programming javiercasas.com
    javcasas avatar authored by javcasas 23 days ago | cached | 3 comments
  21. 26
    Algebraic Effects for the Rest of Us javascript plt overreacted.io
    nickpsecurity avatar via nickpsecurity 24 days ago | cached | no comments
  22. 9
    Making Crash Bandicoot – GOOL games historical plt all-things-andy-gavin.com
    WilhelmVonWeiner avatar via WilhelmVonWeiner 25 days ago | cached | no comments
  23. 8
    Batsh - A language that compiles to Bash and Windows Batch plt programming unix github.com
    pl avatar via pl 26 days ago | cached | 7 comments
  24. 20
    Racket2 possibilities lisp plt groups.google.com
    A-Za-z0-9 avatar via A-Za-z0-9 26 days ago | cached | 9 comments
  25. 3
    Chris Krycho on TypeScript - Making JavaScript Better audio javascript plt corecursive.com
    adamgordonbell avatar authored by adamgordonbell 27 days ago | cached | no comments
Page 2 >>