Stories tagged as plt – Programming language theory, types, design
  1. 12
    Type inference debate: a C++ phenomenon? c++ plt atilaoncode.blog
    atilaneves avatar authored by atilaneves 45 hours ago | cached | 16 comments
  2. 8
    SOUL - The Future of Audio Coding ☶ plt soul.dev
    akbiggs avatar via akbiggs 2 days ago | cached | 3 comments
  3. 8
    Céu - Structured Synchronous Reactive Programming Language plt ceu-lang.github.io
    sebastien avatar via sebastien 5 days ago | cached | 1 comment
  4. 19
    Floyd Programming Language ☶ plt programming github.com
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | 25 comments
  5. 5
    TicTacToe in Bosque and Kotlin plt jworks.io
    calvin avatar via calvin 5 days ago | cached | no comments
  6. 11
    tinySelf performance gains 2019/4 performance plt programming notion.so
    Bystroushaak avatar authored by Bystroushaak 6 days ago | cached | 2 comments
  7. 6
    Turing-Completeness Totally Free ☶ pdf formalmethods plt programming personal.cis.strath.ac.uk
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  8. 63
    Ruby 3 to have optional static type annotations plt ruby twitter.com
    faitswulff avatar via faitswulff 6 days ago | cached | 24 comments
  9. 4
    Tau Meta-Language ☶ plt github.com
    dmonay avatar via dmonay 8 days ago | cached | 3 comments
  10. 14
    curv - a language for making art using mathematics art math plt visualization github.com
    animatronic avatar via animatronic 8 days ago | cached | 3 comments
  11. 77
    The first release of Gleam, a statically typed language for the Erlang VM erlang ml plt lpil.uk
    lpil avatar authored by lpil 10 days ago | cached | 25 comments
  12. 8
    A Specialized B-tree for Concurrent Datalog Evaluation pdf plt souffle-lang.github.io
    355E3B avatar via 355E3B 10 days ago | cached | no comments
  13. 5
    Explaining formal proofs formalmethods plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 10 days ago | cached | 10 comments
  14. 4
    Online Historical Encyclopaedia of Programming Languages historical plt hopl.info
    chewzerita avatar via chewzerita 11 days ago | cached | no comments
  15. 57
    Languages I want to write plt blog.wesleyac.com
    calvin avatar via calvin 12 days ago | cached | 14 comments
  16. 5
    What is the minimal basis for Futhark? plt futhark-lang.org
    zem avatar via zem 15 days ago | cached | no comments
  17. 5
    Cell: A functional, relational, reactive language that compiles to Java, C++ and C# plt cell-lang.net
    zem avatar via zem 16 days ago | cached | 1 comment
  18. 4
    Energy Efficiency across Programming Languages pdf performance plt greenlab.di.uminho.pt
    friendlysock avatar via friendlysock 16 days ago | cached | 4 comments
  19. 66
    0.4.0 Release Notes · The Zig Programming Language c plt ziglang.org
    andrewrk avatar authored by andrewrk 17 days ago | cached | 14 comments
  20. 15
    Muon: A Low-level Programming Language Inspired by C, C#, and Go plt github.com
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | 3 comments
  21. 23
    Elixir protocols, how do they work? the erlang perspective compilers elixir erlang plt reversing marianoguerra.org
    marianoguerra avatar authored by marianoguerra 17 days ago | cached | no comments
  22. 5
    Hazel: A Live, Functional Programming Language with Typed Holes ☶ video plt programming youtube.com
    nickpsecurity avatar via nickpsecurity 18 days ago | cached | no comments
  23. 24
    Idiomatic monads in Rust plt rust varkor.github.io
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | 15 comments
  24. 10
    The Lobster Programming Language (2013) meta plt strlen.com
    aleph avatar via aleph 22 days ago | cached | 4 comments
  25. 13
    Cone Programming Langauge graphics plt cone.jondgoodwin.com
    adamnemecek avatar via adamnemecek 22 days ago | cached | 1 comment
Page 2 >>