Stories tagged as plt – Programming language theory, types, design
  1. 22
    With Undefined Behavior, Anything is Possible c plt security raphlinus.github.io
    raph avatar authored by raph 3 days ago | cached | 17 comments
  2. 2
    An Explanation for Composability of Clojure Transducers clojure plt nextjournal.com
    Yogthos avatar via Yogthos 3 days ago | cached | no comments
  3. 8
    Typed Clojure in Theory and Practice pdf clojure formalmethods plt ambrosebs.com
    Yogthos avatar via Yogthos 5 days ago | cached | 1 comment
  4. 4
    Logical Types for Untyped Languages (2010) pdf plt ccs.neu.edu
    GeoffWozniak avatar via GeoffWozniak 6 days ago | cached | no comments
  5. 11
    Abstracting Abstract Machines (2011) ☶ pdf formalmethods plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | 6 comments
  6. 6
    Basics of bidirectionalism plt pigworker.wordpress.com
    GeoffWozniak avatar via GeoffWozniak 8 days ago | cached | 2 comments
  7. 4
    Modern Extensible Languages (2007) ☶ pdf plt programming danielzingaro.com
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | 3 comments
  8. 4
    Koord: Language and analysis for robust, distributed, cyber-physical systems pdf formalmethods plt programming cyphyhouse.github.io
    ceh avatar via ceh 9 days ago | cached | 3 comments
  9. 4
    Notes from Dynamicland: Geokit art design plt rsnous.com
    enkiv2 avatar via enkiv2 11 days ago | cached | no comments
  10. 12
    A Couple of Meta-interpreters in Prolog plt metalevel.at
    rain1 avatar via rain1 14 days ago | cached | no comments
  11. 3
    Factor: an extensible interactive language (2008) video plt programming youtube.com
    ac avatar via ac 14 days ago | cached | no comments
  12. 14
    Implementing a JIT-compiler with Rust compilers plt rust dinfuehr.github.io
    nc avatar via nc 15 days ago | cached | no comments
  13. 8
    Bonsai: Synthesis-based Reasoning for Type Systems (2017) ☶ pdf formalmethods plt programming arxiv.org
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  14. 9
    Felix Programming Language plt programming github.com
    nickpsecurity avatar via nickpsecurity 22 days ago | cached | 6 comments
  15. 2
    The “TerpreT problem” and the limits of stochastic gradient descent for program synthesis ai plt dselsam.github.io
    mjn avatar via mjn 23 days ago | cached | no comments
  16. 5
    Safe Dynamic Memory Management in Ada and SPARK ☶ pdf plt programming adacore.com
    nickpsecurity avatar via nickpsecurity 26 days ago | cached | 1 comment
  17. 4
    Type Systems as Macros (2017) ☶ pdf compilers plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 28 days ago | cached | no comments
  18. 5
    Your Server as a Function (2013) ☶ pdf distributed plt scala monkey.org
    nickpsecurity avatar via nickpsecurity 29 days ago | cached | no comments
  19. 21
    Rockstar is a dynamically-typed Turing-complete programming language plt release github.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 29 days ago | cached | 7 comments
  20. 3
    SuSLik - program synthesis with separation logic plt release comcom.csail.mit.edu
    hwayne avatar via hwayne 1 month ago | cached | 1 comment
  21. 13
    Type Systems: Covariance, Contravariance, Bivariance, and Invariance explained plt medium.com
    yonkeltron avatar via yonkeltron 1 month ago | cached | 7 comments
  22. 18
    Typeclassopedia haskell plt wiki.haskell.org
    zge avatar via zge 1 month ago | cached | 2 comments
  23. 4
    Program Synthesis in 2017-18 ai plt alexpolozov.com
    hwayne avatar via hwayne 1 month ago | cached | no comments
  24. 26
    Design decisions on creating Jai, a new language for game programmers video plt youtube.com
    mikejsavage avatar via mikejsavage 1 month ago | cached | 8 comments
  25. 10
    Mypy 0.620 Released plt python mypy-lang.blogspot.com
    bogdan avatar via bogdan 1 month ago | cached | no comments
Page 2 >>