Stories tagged as plt – Programming language theory, types, design
  1. 19
    Improved Idris (2.0 / Blodwen) interactive editing / code completion ☶ plt twitter.com
    lambdax avatar via lambdax 27 hours ago | cached | 3 comments
  2. 13
    Haskell by Day haskell plt adomokos.com
    zge avatar via zge 30 hours ago | cached | 7 comments
  3. 4
    The SCOOP Concurrency Model in Java-like Languages (2009) ☶ pdf java plt cs.utoronto.ca
    nickpsecurity avatar via nickpsecurity 32 hours ago | cached | no comments
  4. 2
    Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same (1990) historical philosophy plt pipeline.com
    Corbin avatar via Corbin 45 hours ago | cached | no comments
  5. 19
    Is Rust functional? plt rust fpcomplete.com
    kolen avatar via kolen 2 days ago | cached | 4 comments
  6. 13
    Expresso plt github.com
    superpat avatar via superpat 2 days ago | cached | 5 comments
  7. 5
    Entity Component Systems and Data Oriented Design pdf games plt aras-p.info
    emys avatar via emys 8 days ago | cached | no comments
  8. 2
    Running With Scissors: Live Coding With Data video plt practices youtube.com
    enkiv2 avatar via enkiv2 8 days ago | cached | no comments
  9. 11
    Rosie Pattern Language: Improving on 50-Year Old Regular Expression Technology compilers plt programming thestrangeloop.com
    rain1 avatar via rain1 9 days ago | cached | 4 comments
  10. 1
    Towards Language Support for Distributed Systems video distributed plt youtube.com
    enkiv2 avatar via enkiv2 9 days ago | cached | no comments
  11. 6
    Dotted Canonical S-expressions lisp plt unix gist.github.com
    rain1 avatar via rain1 9 days ago | cached | no comments
  12. 16
    Composability, homogeneity, and language-based systems osdev plt medium.com
    enkiv2 avatar authored by enkiv2 9 days ago | cached | 1 comment
  13. 29
    The Art of Prolog, Second Edition book education plt mitpress.mit.edu
    zge avatar via zge 10 days ago | cached | 5 comments
  14. 3
    An Introduction using Prolog to Specify Programming Language Semantics (2016) ☶ pdf education formalmethods plt homepage.cs.uri.edu
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  15. 1
    A User’s Guide to Picat plt programming picat.retina.ufsc.br
    emys avatar via emys 11 days ago | cached | no comments
  16. 14
    Telescript (programming language) historical plt en.wikipedia.org
    rain1 avatar via rain1 11 days ago | cached | 3 comments
  17. 24
    Programming as interaction: A new perspective for programming language research plt tomasp.net
    calvin avatar via calvin 11 days ago | cached | 18 comments
  18. 4
    TYPES 2018 Book of Abstracts haskell plt types2018.projj.eu
    rain1 avatar via rain1 14 days ago | cached | no comments
  19. 10
    Adding an Effect System to OCaml video ml plt janestreet.com
    pushcx avatar via pushcx 14 days ago | cached | no comments
  20. 2
    Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems (2008) ☶ pdf c++ formalmethods plt stroustrup.com
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | no comments
  21. 8
    ICFP Keynote: Graduale Typing video plt youtube.com
    jkoppel avatar via jkoppel 18 days ago | cached | 6 comments
  22. 4
    Thermometer continuations: Any monadic effect in any language video plt programming youtube.com
    jkoppel avatar authored by jkoppel 18 days ago | cached | no comments
  23. 4
    Prototyping a toy language and its interpreter in Makam (lambda prolog) plt programming astampoulis.github.io
    rain1 avatar via rain1 19 days ago | cached | no comments
  24. 8
    Handling Delimited Continuations with Dependent Types video plt youtube.com
    rain1 avatar via rain1 19 days ago | cached | 1 comment
  25. 7
    C is not Turing-complete (2017) c plt memo.barrucadu.co.uk
    kline avatar via kline 19 days ago | cached | 63 comments
Page 2 >>