| | Words Matter (existentialtype.wordpress.com) |
|
2 points by srl on Feb 2, 2012 | past
|
|
| | The Point of Laziness in Programing Languages (existentialtype.wordpress.com) |
|
22 points by gus_massa on Dec 18, 2011 | past | 8 comments
|
|
| | Types and Cells (existentialtype.wordpress.com) |
|
3 points by ottbot on June 7, 2011 | past
|
|
| | Transformations as strict groupoids (existentialtype.wordpress.com) |
|
2 points by primodemus on May 31, 2011 | past
|
|
| | The Real Point of Laziness (existentialtype.wordpress.com) |
|
1 point by wslh on May 30, 2011 | past
|
|
| | Higher-Dimensional Type Theory (existentialtype.wordpress.com) |
|
76 points by fogus on May 30, 2011 | past | 10 comments
|
|
| | Boolean Blindness (existentialtype.wordpress.com) |
|
2 points by swannodette on May 17, 2011 | past
|
|
| | Of Course ML Has Monads (existentialtype.wordpress.com) |
|
44 points by ottbot on May 1, 2011 | past | 16 comments
|
|
| | The point of laziness (existentialtype.wordpress.com) |
|
6 points by happy4crazy on April 25, 2011 | past
|
|
| | Some advice on teaching FP (existentialtype.wordpress.com) |
|
44 points by tianyicui on April 18, 2011 | past | 18 comments
|
|
| | Modules Matter Most (existentialtype.wordpress.com) |
|
47 points by ottbot on April 16, 2011 | past | 26 comments
|
|
| | A Dead Dog (Progress Teaching Students FP At CMU) (existentialtype.wordpress.com) |
|
11 points by swannodette on April 12, 2011 | past | 1 comment
|
|
| | Persistence of Memory (existentialtype.wordpress.com) |
|
16 points by nkurz on April 10, 2011 | past
|
|
| | Boolean Blindness (existentialtype.wordpress.com) |
|
4 points by hanifvirani on April 6, 2011 | past
|
|
| | Functions are values (existentialtype.wordpress.com) |
|
5 points by dons on April 3, 2011 | past
|
|
| | The Holy Trinity of Computation: logic, languages, categories (existentialtype.wordpress.com) |
|
2 points by davidmathers on March 31, 2011 | past
|
|
| | Robert Harper: The 'Holy' Trinity of Computation (existentialtype.wordpress.com) |
|
7 points by lazylland on March 28, 2011 | past
|
|
| | Teaching FP to freshmen (existentialtype.wordpress.com) |
|
33 points by JSig on March 27, 2011 | past | 9 comments
|
|
| | Teaching recursion and induction at CMU: program == proof (existentialtype.wordpress.com) |
|
3 points by georgecmu on March 22, 2011 | past
|
|
| | Parallelism is not concurrency (existentialtype.wordpress.com) |
|
68 points by pfleidi on March 22, 2011 | past | 41 comments
|
|
| | Existential Type, new blog by Bob Harper (of CMU) on programming languages (existentialtype.wordpress.com) |
|
2 points by nprincigalli on March 21, 2011 | past
|
|
| | Dynamic languages are static languages (existentialtype.wordpress.com) |
|
5 points by bawatski on March 21, 2011 | past
|
|
| | Dynamic languages are static languages (existentialtype.wordpress.com) |
|
54 points by gaiusparx on March 20, 2011 | past | 57 comments
|
|
| | Parallelism is not concurrency (existentialtype.wordpress.com) |
|
9 points by nkurz on March 18, 2011 | past
|
|
| | Teaching FP to freshmen (instead of Object-oriented programming) (existentialtype.wordpress.com) |
|
10 points by igorgue on March 18, 2011 | past | 2 comments
|
|
| | What is a functional language? (existentialtype.wordpress.com) |
|
4 points by fogus on March 18, 2011 | past
|
|
