Sam Tobin-Hochstadt

typetitle sort iconauthorlast post
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
StoryFacebook releases "Flow", a statically typed JavaScript variant James Iry2014-12-03 08:59
Story John C Reynolds Doctoral Dissertation Award nominations for 2014 Ehud Lamm2014-12-01 08:41
Forum topicWhither Flow Analysis? raould2014-11-14 11:54
Forum topicDARPA funds $11 million tool that will make coding a lot easier Sean McDirmid2014-11-10 05:17
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicA StackExchange Site for Programming Language Theory aaditmshah2014-09-27 15:30
StoryScala woes? Ehud Lamm2014-09-20 21:18
Forum topicThe Programming Languages Enthusiast Sean McDirmid2014-07-13 15:58
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
StoryFacebook Introduces ‘Hack,’ the Programming Language of the Future bashyal2014-03-26 03:53
StoryJeeves Ehud Lamm2014-03-02 16:02
Forum topicList of ICFP2013 papers with preprints vieiro2013-10-15 10:58
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
Forum topic"Fortress Wrapping Up" Alan Eliasen2012-11-11 23:51
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59
Forum topicMatthew Flatt on Racket Submodules gasche2012-06-09 18:21
StoryAdding Delimited and Composable Control to a Production Programming Environment Manuel J. Simoni2012-04-22 23:57
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
Forum topicWhat Does Functional Programming Mean? Denis Bredelet -jido2011-09-26 00:17
Forum topicForum Topics and Story Henry Luo2011-09-24 17:53