Search
 
   

9 results for "domain:tomasp.net"

  1. 17
    What we talk about when we talk about monads pdf plt tomasp.net
    pushcx avatar via pushcx 5 months ago | cached | no comments
  2. 26
    Thinking the unthinkable: What we cannot think in programming plt tomasp.net
    yumaikas avatar via yumaikas 6 months ago | cached | 24 comments
  3. 15
    The design side of programming language design programming tomasp.net
    julienXX avatar via julienXX 11 months ago | cached | 4 comments
  4. 4
    The mythology of programming language ideas compsci culture tomasp.net
    calvin avatar via calvin 1 year ago | cached | 1 comment
  5. 4
    Why type-first development matters (2012) programming tomasp.net
    asthasr avatar via asthasr 1 year ago | cached | 1 comment
  6. 36
    Coeffects: Context-aware programming languages compsci programming tomasp.net
    taylskid avatar via taylskid 2 years ago | cached | 5 comments
  7. 8
    Miscomputation: Learning to live with errors practices programming tomasp.net
    mkremins avatar via mkremins 3 years ago | cached | 3 comments
  8. 4
    Against the definition of types compsci programming tomasp.net
    pushcx avatar via pushcx 3 years ago | cached | no comments
  9. 5
    What can Programming Language Research Learn from the Philosophy of Science? compsci philosophy programming tomasp.net
    beala avatar via beala 4 years ago | cached | 1 comment