Manuel J. Simoni

type sort icontitleauthorlast post
StoryA Next Generation Smart Contract and Decentralized Application Platform Manuel J. Simoni2017-07-26 12:09
StoryCo-hygiene and quantum gravity Manuel J. Simoni2017-06-17 16:22
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-09-20 05:47
Forum topicTyped Data Andrew Moss2015-12-31 08:59
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
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