1. 4
    MixT: An embedded, domain-specific language for Mixed-Consistency Transactions c++ databases plt mpmilano.github.io
    bennn avatar via bennn 38 hours ago | cached | no comments
  2. 12
    Designing a Programming Language for the Desert philosophy plt programming futhark-lang.org
    orib avatar via orib 2 days ago | cached | no comments
  3. 3
    Where Are the Software Engineers of Tomorrow? (2008) pdf education plt crosstalkonline.org
    mulander avatar via mulander 3 days ago | cached | no comments
  4. 11
    Crystal 0.25.0 released! ☶ plt release crystal-lang.org
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 5 days ago | cached | 1 comment
  5. 5
    Programming Paradigms for Machine Learning (2016) pdf slides ai plt programming core.ac.uk
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  6. 17
    What UNIX shell could have been compsci linux plt programming rain-1.github.io
    rain1 avatar authored by rain1 6 days ago | cached | 16 comments
  7. 16
    Whereas types can be pervasive plt tedinski.com
    calvin avatar via calvin 7 days ago | cached | 10 comments
  8. 29
    A Gentle Intro to PLT (Programming Language Theory) compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 10 days ago | cached | 9 comments
  9. 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 16 days ago | cached | no comments
  10. 8
    Ledger Language Design: Designing and Deploying Formally Verified Public Ledgers pdf cryptocurrencies formalmethods plt eprint.iacr.org
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | 2 comments
  11. 4
    Bidding Farewell to Globals (1988) plt practices programming archive.eiffel.com
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  12. 9
    Static access control using phantom types ml plt security blog.janestreet.com
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | no comments
  13. 21
    Jai Primer plt github.com
    friendlysock avatar via friendlysock 23 days ago | cached | 25 comments
  14. 25
    I don't need types c++ plt python rust dmerej.info
    wezm avatar via wezm 24 days ago | cached | 16 comments
  15. 4
    Visual programming language snapshots historical plt blog.interfacevision.com
    enkiv2 avatar via enkiv2 25 days ago | cached | no comments
  16. 8
    The Avail Programming Language ☶ plt programming availlang.org
    nickpsecurity avatar via nickpsecurity 26 days ago | cached | 2 comments
  17. 12
    The Lambda Calculus: Practice and Principle ☶ pdf plt satire homepages.inf.ed.ac.uk
    NinjaTrappeur avatar via NinjaTrappeur 27 days ago | cached | 1 comment
  18. 30
    Structural Types and Duck Typing plt blog.infinitenegativeutility.com
    enkiv2 avatar via enkiv2 28 days ago | cached | 12 comments
  19. 2
    ZZ Cell Programming historical plt xanadu.com
    enkiv2 avatar via enkiv2 29 days ago | cached | 1 comment
  20. 2
    An Explanation of Unification haskell plt github.com
    pushcx avatar via pushcx 1 month ago | cached | no comments
  21. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 1 month ago | cached | no comments
  22. 7
    How Developers Use the Dynamic Features of Programming Languages: The Case of Smalltalk (2013) pdf plt users.dcc.uchile.cl
    hwayne avatar via hwayne 1 month ago | cached | 3 comments
  23. 38
    Eff: Functional Language Based on Algebraic, Effect Handlers plt programming eff-lang.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
  24. 28
    Out of the Tar Pit pdf compsci plt curtclifton.net
    cleong avatar via cleong 1 month ago | cached | 22 comments
  25. 15
    Professor Frisby's Mostly Adequate Guide to Functional Programming book education plt mostly-adequate.gitbooks.io
    cleong avatar via cleong 1 month ago | cached | 1 comment
Page 2 >>