Manuel J. Simoni

typetitleauthor sort iconlast post
Forum topicOcaPic: Programming PIC microcontrollers in OCaml Allan McInnes2015-10-12 22:15
Forum topicThe most obsolete infrastructure money could buy - my worst job ever Manuel J. Simoni2015-09-02 09:11
StoryUsing Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs Manuel J. Simoni2015-08-17 12:34
Forum topicDatabase programming language review davidb2015-07-23 00:44
Forum topicCompilation to C, a definitive guide? naasking2015-07-05 19:00
StoryOpen thread: RIP Steve Jobs Ehud Lamm2014-10-05 00:19
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
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