scottmcl

typetitleauthorlast post sort icon
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2021-06-09 23:27
Forum topicReactive Programming J Storrs Hall2014-08-06 03:32
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45
Forum topicGoogle's Dart announced vieiro2012-12-30 17:29
Forum topicSupporting a spectrum from whole program to separate compilation to aid in efficient program generation scottmcl2012-12-25 21:32
Forum topicSimple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs scottmcl2012-12-02 19:19
Forum topicEla, dynamic functional language vorov22012-07-04 14:56
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicBrief Question on extension to ANF IR scottmcl2012-03-26 11:56
Forum topicGo's proposed panic/recover exception-like mechanism pgregory2012-01-07 01:57
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicJohn McCarthy has passed Thomas Lord2011-12-11 10:31
StoryA bit of Scheming Ehud Lamm2011-12-01 13:44
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
Forum topic"Crutches in language design", accidental complexity and feature overlap gasche2011-11-07 11:46
StoryWhat needs to be done? Ehud Lamm2011-11-07 05:29
StoryOpa Ehud Lamm2011-10-28 01:42
Forum topicSimple Question - Beta reduction and pattern matching (compile time, static) scottmcl2011-10-12 13:47
Forum topicF# type providers Gabriel Horvath2011-10-12 08:43
Forum topicHow to classify type of ML's exn ? (Naive question) scottmcl2011-09-19 08:06
Forum topicDeveloper Phenomenology vs. Artifact Attributes in Language Design scottmcl2011-07-25 08:22
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
Forum topicmodules are anti-modular el-vadimo2011-06-27 17:31