14 stories from 11 submitters
  1. 2
    Data exploration calculus: Capturing the essence of exploratory data scripting practices programming tomasp.net
    alexkorban avatar via alexkorban 3 months ago | cached | no comments
  2. 6
    On architecture, urban planning and software construction practices tomasp.net
    alexkorban avatar via alexkorban 3 months ago | cached | no comments
  3. 25
    Would aliens understand lambda calculus? (2018) cogsci math plt tomasp.net
    sanxiyn avatar via sanxiyn 1 year ago | cached | 4 comments
  4. 4
    What should a Software Engineering course look like? practices tomasp.net
    GeoffWozniak avatar via GeoffWozniak 1 year ago | cached | 1 comment
  5. 25
    Programming as interaction: A new perspective for programming language research plt tomasp.net
    calvin avatar via calvin 1 year ago | cached | 18 comments
  6. 17
    What we talk about when we talk about monads pdf plt tomasp.net
    pushcx avatar via pushcx 2 years ago | cached | no comments
  7. 26
    Thinking the unthinkable: What we cannot think in programming plt tomasp.net
    yumaikas avatar via yumaikas 2 years ago | cached | 24 comments
  8. 15
    The design side of programming language design programming tomasp.net
    julienxx avatar via julienxx 2 years ago | cached | 4 comments
  9. 4
    The mythology of programming language ideas compsci culture tomasp.net
    calvin avatar via calvin 3 years ago | cached | 1 comment
  10. 4
    Why type-first development matters (2012) programming tomasp.net
    asthasr avatar via asthasr 3 years ago | cached | 1 comment
  11. 36
    Coeffects: Context-aware programming languages compsci programming tomasp.net
    taylskid avatar via taylskid 4 years ago | cached | 5 comments
  12. 8
    Miscomputation: Learning to live with errors practices programming tomasp.net
    mkremins avatar via mkremins 5 years ago | cached | 3 comments
  13. 4
    Against the definition of types compsci programming tomasp.net
    pushcx avatar via pushcx 5 years ago | cached | no comments
  14. 5
    What can Programming Language Research Learn from the Philosophy of Science? compsci philosophy programming tomasp.net
    beala avatar via beala 6 years ago | cached | 1 comment