Andrew Moss

typetitle sort iconauthorlast post
Forum topicNon-determinism: a sublanguage rather than a monad Greg Buchholz2017-10-28 07:57
Forum topicThe Platonic Solids of Software Construction and Their Realization in C bryanedds2017-09-29 19:00
Forum topicReversing operations Pablo Barenbaum2017-09-08 16:08
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
Forum topicHow to name the inverse functions of constructors hbrandl2017-07-03 00:16
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-25 18:11
Forum topicAny thoughts on WanaDecrypt0r? marco2017-05-21 21:12
Forum topicDomain specific language for playing games davidb2017-05-03 22:47
Forum topicCFL parsing, and another way to look at the CNF... Cyril2017-03-07 07:27
Forum topicProcess Network for Effects, Monad Alternative dmbarbour2017-02-20 06:09
StorySalon des Refusés -- Dialectics for new computer science gasche2017-02-19 07:18
Forum topicHow will look a modern imperative language? All love here is functional only.. mamcx2017-02-18 18:58
Forum topicInference of Polymorphic Recursion Matt M2017-02-07 04:40
Forum topicUnsoundness skaller2017-01-20 15:16
Forum topicDefining recursive function as a monad (or other solutions) Ivan Vodišek2016-12-17 08:07
Forum topicEliminating left recursion skaller2016-12-13 00:23
Forum topicFeedback requested: A sample implementation of L-systems in Haskell filipallberg2016-09-19 18:37
Forum topiclanguage handling of memory and other resource failures Rys McCusker2016-08-27 18:57
Forum topicMicroscript Ivan Vodišek2016-08-08 22:31
Forum topicAlice, Bob, and Penthesilea: mutually suspicious code and data owners johnwcowan2016-07-29 14:27
Forum topichow to design PL support for effects emerging from parallel non-determinism? Rys McCusker2016-07-15 20:51
Forum topicWebAssembly Ivan Vodišek2016-06-24 17:31
Forum topicLearning to Execute and Neural Turing Machines Sean McDirmid2016-05-30 14:37
Forum topicA2: Analog Malicious Hardware marco2016-05-28 09:36