Manuel J. Simoni

typetitleauthorlast post sort icon
Forum topicGoogle's Dart announced vieiro2012-12-30 17:29
Forum topicA bug with collapsed views, and some thinking aloud Kartik Agaram2012-11-16 11:09
Forum topicHow to handle errors Mats2012-11-09 05:58
StoryRecords, sums, cases, and exceptions: Row-polymorphism at work Manuel J. Simoni2012-11-02 12:22
StoryMilner Symposium 2012 Ohad Kammar2012-10-22 07:46
Forum topicHow to type polymorphic variants with open generic functions? Manuel J. Simoni2012-10-09 04:23
StoryTiny Transactions on Computer Science Manuel J. Simoni2012-09-13 23:12
StoryOleg: An argument against call/cc bashyal2012-09-13 17:06
StorySetting up new accounts suspended Ehud Lamm2012-09-10 08:53
Forum topicShould continuation capture always be considered to be stack unwinding? Manuel J. Simoni2012-08-25 13:07
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