Search
 
   

4 results for "domain:jonmsterling.com"

  1. 6
    Type theory and its meaning explanations pdf compsci jonmsterling.com
    mjn avatar via mjn 3 years ago | cached | 1 comment
  2. 11
    Functionality, Mutability & Non-Determinism in Type Theory compsci math philosophy jonmsterling.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  3. 11
    Dependent Types for Pragmatics compsci programming jonmsterling.com
    BruceM avatar via BruceM 3 years ago | cached | no comments
  4. 15
    Vinyl: Modern Records for Haskell haskell programming jonmsterling.com
    beala avatar via beala 4 years ago | cached | 5 comments