Sam Tobin-Hochstadt

type sort icontitleauthorlast post
Forum topicImplementing typing rules -- how do I implement non-syntactic rules? osa12017-05-12 05:28
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
Forum topicBest successor to Scheme? raould2016-05-03 06:31
Forum topicProgrammatic and Direct Manipulation, Together at Last Sean McDirmid2016-02-13 20:21
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
Forum topicmeta: September "propose a post" post (proposal) Thomas Lord2015-09-15 10:27
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