Manuel J. Simoni

type sort icontitleauthorlast post
StoryInferring algebraic effects Ohad Kammar2014-10-04 17:39
Forum topicdoing letrec with lambdas jimdesu2014-09-29 19:46
Forum topicSlots as reifications of OOP method names Joaquín M López Muñoz2014-07-21 21:44
Forum topicGiant list of visual PLs Manuel J. Simoni2014-05-02 16:09
Forum topicAha moment Ehud Lamm2014-04-29 06:07
StoryDeca, an LtU-friendly bare metal systems programming language Anton van Straaten2014-04-23 16:10
Forum topicModern Shell Language Pavel P2014-04-06 11:51
StoryPropositions as Types Manuel J. Simoni2014-03-19 07:14
Forum topicLess is more. Rys McCusker2014-01-19 13:05
Forum topicWhy is Static Typing Hard? Jon Purdy2013-11-12 18:56
StoryCopatterns: the final approach to codata? gasche2013-10-11 22:36
Forum topicHow is LtU doing? Sean McDirmid2013-09-29 23:55
Forum topicInteresting new paper from T. Sweeney and others jasonwatkinspdx2013-09-27 15:37
StoryExtensible Effects -- An Alternative to Monad Transformers naasking2013-08-01 13:03
Forum topicTypographical extensions for programming languages: breaking out of the ASCII straitjacket Sean McDirmid2013-07-28 00:17
Forum topicAre first-class environments enough? Alex Shpilkin2013-07-04 15:49
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
Forum topicGo-style defer-recover exception handling is better than try-catch style? Limin Fu2013-05-13 01:54
StoryDYNAMO Ehud Lamm2013-04-16 20:53
StoryLtU is migrating from Drupal Ehud Lamm2013-04-02 07:38
Forum topicgeneral thread model motivations? Rys McCusker2013-03-25 16:21
Forum topicsyntax and nesting: Lispy or Algol'ish? Ray Dillinger2013-03-15 18:02
StorySimple Generators v. Lazy Evaluation Manuel J. Simoni2013-02-26 12:23
Forum topicGNU epsilon - an extensible programming language Manuel J. Simoni2013-01-16 10:34
Forum topicA Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" w7cook2013-01-08 20:02