Manuel J. Simoni

typetitleauthorlast post sort icon
StoryThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Manuel J. Simoni2020-08-25 22:44
StoryApplied Category Theory - The Emerging Science of Compositionality Manuel J. Simoni2019-09-10 22:22
Forum topicSession Types for Purely Functional Process Networks dmbarbour2019-08-02 12:50
StoryHistory of Lisp Manuel J. Simoni2018-08-26 16:00
Forum topicProgramming language Theme-D Tommi Höynälänmaa2018-06-12 14:40
Forum topicInteresting new paper from T. Sweeney and others jasonwatkinspdx2018-01-22 05:09
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