Stories tagged as plt – Programming language theory, types, design
  1. 19
    Python vs. Ruby: A Battle to The Death (Gary Bernhardt, 2010) ☶ video plt python ruby vimeo.com
    Sietsebb avatar via Sietsebb 1 month ago | cached | 5 comments
  2. 8
    Mystery Languages education plt blog.brownplt.org
    pek avatar via pek 1 month ago | cached | no comments
  3. 26
    Monads Made Simple compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 1 month ago | cached | 26 comments
  4. 9
    Mars: A Functional/Imperative Language with Automatic, Destructive Update plt programming mars-lang.appspot.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  5. 8
    A graph of programming languages connected through compilers compilers plt visualization akr.am
    calvin avatar via calvin 1 month ago | cached | 2 comments
  6. 7
    Encode state transitions in types using linear types haskell plt tweag.io
    calvin avatar via calvin 1 month ago | cached | no comments
  7. 34
    Hazel, a live functional programming environment featuring typed holes. plt programming hazel.org
    rain1 avatar via rain1 1 month ago | cached | no comments
  8. 12
    Systems Languages: An Experience Report c go ml plt rust blog.usejournal.com
    eterps avatar via eterps 1 month ago | cached | 22 comments
  9. 26
    Idioms of Dynamic Languages plt programming willcrichton.net
    wcrichton avatar authored by wcrichton 1 month ago | cached | 13 comments
  10. 24
    Myrddin 0.3 Released: "Stand Back, We're Proffessionals" ☶ plt programming release myrlang.org
    orib avatar authored by orib 1 month ago | cached | 6 comments
  11. 18
    Some tentative guidelines for GUI composability design plt hackernoon.com
    enkiv2 avatar authored by enkiv2 1 month ago | cached | 16 comments
  12. 22
    What I Learned Making My Own JIT Language compilers plt mikedrivendevelopment.com
    calvin avatar via calvin 2 months ago | cached | no comments
  13. 7
    Unicon Programming Language plt en.wikipedia.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 3 comments
  14. 2
    Harmonic: LARA Source-To-Source Weaver ☶ c compilers plt specs.fe.up.pt
    timr avatar via timr 2 months ago | cached | no comments
  15. 8
    OBNC - a compiler for Niklaus Wirth’s programming language Oberon. ☶ compilers plt miasap.se
    Shamar avatar via Shamar 2 months ago | cached | 10 comments
  16. 4
    MixT: An embedded, domain-specific language for Mixed-Consistency Transactions c++ databases plt mpmilano.github.io
    bennn avatar via bennn 2 months ago | cached | no comments
  17. 13
    Designing a Programming Language for the Desert philosophy plt programming futhark-lang.org
    orib avatar via orib 2 months ago | cached | no comments
  18. 3
    Where Are the Software Engineers of Tomorrow? (2008) pdf education plt crosstalkonline.org
    mulander avatar via mulander 2 months ago | cached | no comments
  19. 11
    Crystal 0.25.0 released! ☶ plt release crystal-lang.org
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 2 months ago | cached | 1 comment
  20. 5
    Programming Paradigms for Machine Learning (2016) pdf slides ai plt programming core.ac.uk
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  21. 17
    What UNIX shell could have been compsci linux plt programming rain-1.github.io
    rain1 avatar authored by rain1 2 months ago | cached | 16 comments
  22. 16
    Whereas types can be pervasive plt tedinski.com
    calvin avatar via calvin 2 months ago | cached | 10 comments
  23. 29
    A Gentle Intro to PLT (Programming Language Theory) compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 2 months ago | cached | 9 comments
  24. 3
    The Abstract State Machines Method for Modular Design and Analysis of Programming Languages (2013) ☶ pdf formalmethods java plt programming pages.di.unipi.it
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  25. 8
    Ledger Language Design: Designing and Deploying Formally Verified Public Ledgers pdf cryptocurrencies formalmethods plt eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 2 comments
<< Page 1 | Page 3 >>