1. 1
    Parsing with Derivatives pdf performance plt matt.might.net
    enkiv2 avatar via enkiv2 7 hours ago | cached | no comments
  2. 3
    Deep Probabilistic Programming Languages: A Qualitative Study ai plt arxiv.org
    enkiv2 avatar via enkiv2 16 hours ago | cached | no comments
  3. 12
    How to prove a compiler fully abstract compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 17 hours ago | cached | 3 comments
  4. 1
    Null Object as identity plt blog.ploeh.dk
    calvin avatar via calvin 18 hours ago | cached | no comments
  5. 1
    The Essence of Reynolds (2014) pdf person plt cs.ucl.ac.uk
    hwayne avatar via hwayne 26 hours ago | cached | no comments
  6. 13
    For goodness namesake erlang plt blog.ikura.co
    nato avatar authored by nato 4 days ago | cached | 17 comments
  7. 2
    Covariance and Contravariance In Java (2013) java plt dzone.com
    czocher avatar via czocher 5 days ago | cached | no comments
  8. 8
    Are unsound type systems wrong? clojure plt frenchy64.github.io
    Yogthos avatar via Yogthos 6 days ago | cached | 4 comments
  9. 1
    The Truth About Garbage Collection java plt web.archive.org
    zge avatar via zge 6 days ago | cached | no comments
  10. 2
    Help needed: Static typing and algebra ☶ compilers compsci math plt
    HenriTuhola avatar authored by HenriTuhola 7 days ago | 1 comment
  11. 54
    GraalVM plt graalvm.org
    355E3B avatar via 355E3B 7 days ago | cached | 28 comments
  12. 3
    TransLucid and Cartesian Programming plt programming translucid.web.cse.unsw.edu.au
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | 4 comments
  13. 42
    What programming languages have been designed to reduce naming things? ☶ ask plt
    dahjelle avatar authored by dahjelle 7 days ago | 40 comments
  14. 52
    "Growing a Language" talk by Guy Steele (1998) ☶ video plt youtube.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 9 days ago | cached | 11 comments
  15. 4
    An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  16. 35
    For mathematicians, = does not mean equality math plt jeremykun.com
    EttiCosmocrepe avatar via EttiCosmocrepe 11 days ago | cached | 8 comments
  17. 4
    Kaukatcr: an experiment in language design for multi-dimensional spaces ☶ plt medium.com
    enkiv2 avatar authored by enkiv2 12 days ago | cached | 1 comment
  18. 14
    Idris: Type safe printf ☶ video plt youtube.com
    NinjaTrappeur avatar via NinjaTrappeur 13 days ago | cached | 9 comments
  19. 2
    Adapting Scheme-like Macros to the C Language (2011) ☶ pdf c c++ lisp plt repository.readscheme.org
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  20. 12
    A Tour of the L Language plt programming l-lang.org
    nickpsecurity avatar via nickpsecurity 16 days ago | cached | 6 comments
  21. 4
    Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017) ☶ compilers plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 18 days ago | cached | no comments
  22. 6
    Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
    brendan avatar via brendan 18 days ago | cached | no comments
  23. 9
    Answering "A monad is just a monoid in the category of endofunctors, what's the problem?" haskell plt stackoverflow.com
    zge avatar via zge 19 days ago | cached | 5 comments
  24. 10
    Popr Tutorial: Dot Machines show compilers plt hackerfoo.com
    HackerFoo avatar authored by HackerFoo 20 days ago | cached | 5 comments
  25. 8
    Sum Types Are Coming: What Everyone Should Know (2015) ☶ plt practices programming chadaustin.me
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | 2 comments
Page 2 >>