Stories tagged as plt – Programming language theory, types, design
  1. 12
    MLIR Primer: A Compiler Infrastructure for the End of Moore’s Law ☶ ai compilers plt drive.google.com
    fsaintjacques avatar via fsaintjacques 2 days ago | cached | 3 comments
  2. 5
    Spartan Type Theory ☶ video plt vimeo.com
    huntie avatar via huntie 2 days ago | cached | 1 comment
  3. 5
    Dialogical logic resolution algorithm with sound negation plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 3 days ago | cached | no comments
  4. 8
    Polarity and bidirectional typechecking plt semantic-domain.blogspot.com
    calvin avatar via calvin 3 days ago | cached | no comments
  5. 17
    Compiling with Dependent Types ☶ pdf compilers plt williamjbowman.com
    huntie avatar via huntie 3 days ago | cached | no comments
  6. 9
    Compiler Fundamentals: Closure Conversion compilers lisp plt programming gist.github.com
    rain1 avatar authored by rain1 5 days ago | cached | no comments
  7. 20
    "Maybe the fastest string library ever" c c++ plt github.com
    halosghost avatar via halosghost 5 days ago | cached | 5 comments
  8. 33
    What's your preferred embedded/application scripting language? ☶ ask plt
    lorddimwit avatar authored by lorddimwit 6 days ago | 41 comments
  9. 17
    A Quick Look at Trait Objects in Rust compilers plt tratt.net
    edd avatar via edd 9 days ago | cached | no comments
  10. 8
    Dialogical logic programming plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 10 days ago | cached | 1 comment
  11. 10
    Program synthesis of a spec with optional manual implementation for parts of the program ☶ ask formalmethods plt
    nc avatar authored by nc 11 days ago | 9 comments
  12. 33
    Family spaghetti of programming languages plt erkin.party
    erkin avatar authored by erkin 13 days ago | cached | 13 comments
  13. 8
    The Relationship Between OO and FP plt codingitwrong.com
    hwayne avatar via hwayne 13 days ago | cached | 8 comments
  14. 10
    Taxonomy – Option types, "Optional types", Nullable types and null-able types ☶ education plt programming
    soc avatar authored by soc 14 days ago | 5 comments
  15. 32
    the Fennel programming language lisp lua plt fennel-lang.org
    cndreisbach avatar via cndreisbach 14 days ago | cached | 9 comments
  16. 3
    Declarative Programming: Is It A Real Thing? (2015) plt programming toptal.com
    akkartik avatar via akkartik 15 days ago | cached | no comments
  17. 3
    Emacs Lisp implementation in JavaScript emacs javascript plt github.com
    zge avatar via zge 16 days ago | cached | no comments
  18. 17
    The monadic morass (2012) plt trevorjim.com
    yumaikas avatar via yumaikas 16 days ago | cached | 7 comments
  19. 1
    Perl 6 as a new tool for language compilers video perl plt youtube.com
    mempko avatar via mempko 16 days ago | cached | no comments
  20. 11
    Tar-pit thinking (2012) plt trevorjim.com
    Yogthos avatar via Yogthos 16 days ago | cached | no comments
  21. 7
    Null references was a mistake, but what's the take-away? culture plt programming rant boxbase.org
    HenriTuhola avatar authored by HenriTuhola 17 days ago | cached | 6 comments
  22. 5
    A Lever for the Mind math plt programming codon.com
    davidk01 avatar via davidk01 18 days ago | cached | no comments
  23. 13
    A Conversation with Alan Kay plt programming queue.acm.org
    unbalancedparentheses avatar via unbalancedparentheses 20 days ago | cached | 3 comments
  24. 10
    Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Language pdf compsci plt vpri.org
    enkiv2 avatar via enkiv2 22 days ago | cached | no comments
  25. 3
    Quantum Object Dynamics (2009) pdf plt vpri.org
    enkiv2 avatar via enkiv2 23 days ago | cached | no comments
Page 2 >>