| | Dynamic Languages Are Static Languages (2011) (existentialtype.wordpress.com) |
|
23 points by mlitchard on July 22, 2015 | past | 66 comments
|
|
| | The Point of Laziness (2011) (existentialtype.wordpress.com) |
|
45 points by amelius on April 22, 2015 | past | 6 comments
|
|
| | Structure and Efficiency of Computer Programs (existentialtype.wordpress.com) |
|
1 point by tzar on Dec 19, 2014 | past
|
|
| | Haskell Is Exceptionally Unsafe (2012) (existentialtype.wordpress.com) |
|
107 points by kirkbackus on Oct 20, 2014 | past | 122 comments
|
|
| | Structure and Efficiency of Computer Programs (existentialtype.wordpress.com) |
|
2 points by s-phi-nl on Oct 1, 2014 | past
|
|
| | Structure and Efficiency of Computer Programs by Robert Harper (existentialtype.wordpress.com) |
|
2 points by lelf on Sept 29, 2014 | past
|
|
| | Dynamic languages are static languages (existentialtype.wordpress.com) |
|
3 points by ExpiredLink on Aug 21, 2014 | past
|
|
| | The Holy Trinity (existentialtype.wordpress.com) |
|
1 point by lelf on Aug 18, 2014 | past
|
|
| | A few new papers by Robert Harper (existentialtype.wordpress.com) |
|
8 points by lelf on July 21, 2014 | past | 2 comments
|
|
| | Summer of Programming Languages (existentialtype.wordpress.com) |
|
101 points by platz on July 7, 2014 | past | 74 comments
|
|
| | Where did the name, dynamic programming, come from? (existentialtype.wordpress.com) |
|
4 points by chiachun on April 21, 2014 | past | 1 comment
|
|
| | Parallelism and Concurrency, Revisited (existentialtype.wordpress.com) |
|
2 points by axk on April 10, 2014 | past
|
|
| | What, If Anything, Is A Declarative Language? (existentialtype.wordpress.com) |
|
1 point by saurabh on Dec 25, 2013 | past
|
|
| | What, If Anything, Is A Declarative Language? (existentialtype.wordpress.com) |
|
5 points by lelf on Nov 28, 2013 | past
|
|
| | Dynamic languages are static languages (2011) (existentialtype.wordpress.com) |
|
2 points by DanielRibeiro on Sept 2, 2013 | past
|
|
| | What, If Anything, Is A Declarative Language? (existentialtype.wordpress.com) |
|
3 points by platz on July 18, 2013 | past
|
|
| | What’s the big deal with HoTT? [Homotopy Type Theory] (existentialtype.wordpress.com) |
|
1 point by tmoertel on June 24, 2013 | past
|
|
| | Dynamic languages are static languages (existentialtype.wordpress.com) |
|
8 points by llambda on Dec 10, 2012 | past | 2 comments
|
|
| | New R. Harper book: Practical Foundations for Programming Languages (existentialtype.wordpress.com) |
|
2 points by ikram on Dec 6, 2012 | past
|
|
| | Yet Another Reason Not To Be Lazy Or Imperative (existentialtype.wordpress.com) |
|
3 points by llambda on Dec 5, 2012 | past | 1 comment
|
|
| | Exceptions are shared secrets (existentialtype.wordpress.com) |
|
1 point by codelion on Dec 4, 2012 | past
|
|
| | Dynamic languages are static languages (existentialtype.wordpress.com) |
|
3 points by johndcook on Nov 8, 2012 | past
|
|
| | Dynamic languages are static languages (existentialtype.wordpress.com) |
|
1 point by artagnon on Sept 15, 2012 | past | 2 comments
|
|
| | Yet Another Reason Not To Be Lazy Or Imperative « Existential Type (existentialtype.wordpress.com) |
|
1 point by codelion on Aug 29, 2012 | past
|
|
| | Yet Another Reason Not To Be Lazy Or Imperative (existentialtype.wordpress.com) |
|
1 point by logical42 on Aug 28, 2012 | past
|
|
| | Believing in Computer Science (existentialtype.wordpress.com) |
|
1 point by ky3 on Aug 26, 2012 | past
|
|
| | CMU's Intro CS curriculum (existentialtype.wordpress.com) |
|
1 point by fogus on Aug 19, 2012 | past
|
|
| | Haskell Is Exceptionally Unsafe (existentialtype.wordpress.com) |
|
86 points by johndcook on Aug 14, 2012 | past | 50 comments
|
|
| | Practical Foundations for Programming Languages (existentialtype.wordpress.com) |
|
3 points by johndcook on Aug 7, 2012 | past
|
|
| | Teaching FP to freshmen: OOP is unsuitable for modern CS curriculum (existentialtype.wordpress.com) |
|
6 points by lelf on March 24, 2012 | past
|
|
|
|
More |
