Kay Schluehr

typetitleauthor sort iconlast post
Forum topicThe Unreasonable Effectiveness of C raould2013-05-08 19:47
Forum topicImport Systems Kay Schluehr2013-01-14 15:05
Forum topicSTEPS 2011 Progress Report (personal computing in 20kLOC) Greg Buchholz2012-12-20 20:48
Forum topicAre scalars "just" degenerate matrices? Douglas McClean2012-09-22 21:38
Forum topicPythonect 0.4.1 Released ikotler2012-09-06 19:09
StoryParsing: The Solved Problem That Isn't James Iry2012-08-26 09:11
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59
Forum topicWhy Do Some Programming Languages Live and Others Die? Sean McDirmid2012-06-18 23:33
Forum topicWhy and How People Use R Charles Torre2012-05-14 20:31
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topicDisruptive PLT Revisited Sean McDirmid2012-03-31 13:27
Forum topicReferences about the importance of formalism in programming language design giuseppemag2012-03-30 05:42
Forum topiccrazy PL idea: prescriptive trait inference Sean McDirmid2012-03-26 23:20
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 Z-Bo2012-03-06 03:02
StoryA Concept Design for C++ James Iry2012-03-04 21:35
StoryWhen Formal Systems Kill: Computer Ethics and Formal Methods James Iry2012-02-29 23:02
Forum topicPLT humor on Twitter Manuel J. Simoni2012-02-25 21:54
Forum topicSyntax Desugaring Algorithm Question bryanedds2012-02-23 23:46
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
Forum topicPeak Abstraction Sean McDirmid2012-02-06 17:19
Forum topicProgrammer Archeologists Sean McDirmid2012-01-06 16:48
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
Forum topicXtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. Kannan Goundan2011-11-25 21:06
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37