Manuel J. Simoni

typetitleauthorlast post sort icon
Forum topicLanguage Implementation 101 qznc2012-08-09 07:37
StoryInteractive Tutorial of the Sequent Calculus Manuel J. Simoni2012-07-24 17:55
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicGraphical languages of the Russian space program Manuel J. Simoni2012-06-15 06:43
Forum topicMatthew Flatt on Racket Submodules gasche2012-06-09 18:21
StoryCommon Lisp: The Untold Story Manuel J. Simoni2012-05-20 23:46
Forum topicWhy and How People Use R Charles Torre2012-05-14 20:31
Forum topicExamples of Lisp Code Typography Manuel J. Simoni2012-05-08 22:24
StoryAdding Delimited and Composable Control to a Production Programming Environment Manuel J. Simoni2012-04-22 23:57
Forum topicRetrospective Thoughts on BitC raould2012-04-18 16:43
Forum topicSymmetry in type systems Jules Jacobs2012-04-17 22:15
Forum topicDisruptive PLT Revisited Sean McDirmid2012-03-31 13:27
Forum topicCoding at the Speed of Touch Sean McDirmid2012-03-27 18:25
Forum topicLong rant on Erlang-style Actors: Lost Dimension const2012-03-20 08:57
Forum topicFiltering system calls with a packet filtering language Manuel J. Simoni2012-03-15 20:57
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05
StoryWhat does focusing tell us about language design? Manuel J. Simoni2012-03-07 19:07
Forum topicMassive Numbers of Actors vs. Massive Numbers of Objects vs. ???? mfidelman2012-03-04 06:20
StoryType-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Manuel J. Simoni2012-03-01 16:27
Forum topicPLT humor on Twitter Manuel J. Simoni2012-02-25 21:54
Forum topicSyntax Desugaring Algorithm Question bryanedds2012-02-23 23:46
Forum topicR7RS public comment period (June 30, 2012) Manuel J. Simoni2012-02-20 10:55
StoryThe Algebra of Data, and the Calculus of Mutation Manuel J. Simoni2012-02-15 00:19
StoryProgramming as collaborative reference Manuel J. Simoni2012-02-08 23:28