1. 16
    The History of Standard ML ☶ pdf historical ml plt smlfamily.github.io
    felixyz avatar via felixyz 19 days ago | cached | 5 comments
  2. 5
    Programming in Three Dimensions ☶ plt semanticscholar.org
    felixyz avatar via felixyz 27 days ago | cached | 2 comments
  3. 4
    The Poet of Logic Programming (interview with Robert Kowalski) audio ai compsci historical plt thesearch.space
    felixyz avatar authored by felixyz 1 month ago | cached | no comments
  4. 2
    From conventional to institution-independent logic programming compsci math plt academic.oup.com
    felixyz avatar via felixyz 1 month ago | cached | 2 comments
  5. 5
    Swift Is Not Functional (2014) plt swift robnapier.net
    felixyz avatar via felixyz 1 month ago | cached | 11 comments
  6. 21
    A Crash Course on ML Modules haskell ml plt jozefg.bitbucket.io
    felixyz avatar via felixyz 2 months ago | cached | 3 comments
  7. 15
    Some History of Functional Programming Languages ☶ pdf haskell historical lisp ml plt lambdadays.org
    felixyz avatar via felixyz 2 months ago | cached | 2 comments
  8. 6
    Formality in requirements: new publication compsci formalmethods programming bertrandmeyer.com
    felixyz avatar via felixyz 6 months ago | cached | 1 comment
  9. 5
    Haskell Programming With Tests, and Some Alloy pdf formalmethods haskell testing staff.fnwi.uva.nl
    felixyz avatar via felixyz 7 months ago | cached | no comments
  10. 3
    High Performance Numeric Programming with Swift: Explorations and Reflections c c++ objectivec programming swift fast.ai
    felixyz avatar via felixyz 7 months ago | cached | 1 comment
  11. 2
    Derek Zave's Octal Editor assembly historical person fourmilab.ch
    felixyz avatar via felixyz 7 months ago | cached | no comments
  12. 1
    A Conversation with Manfred von Thun (RIP) (2003) apl historical person plt nsl.com
    felixyz avatar via felixyz 1 year ago | cached | 2 comments