raould

type sort icontitleauthorlast post
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-10-12 08:06
Forum topicLiving it up with a Live Programming Language Sean McDirmid2017-06-10 16:27
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicTerm Rewrite System Implementations? Ivan Vodišek2016-09-18 00:10
StoryFunctional Pearl: Type-safe pattern combinators naasking2016-09-16 18:18
Forum topicProgramming Languages as Mathematical Representations mfidelman2016-09-03 23:25
Forum topicWhither FRP? raould2016-09-03 12:47
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-08-24 18:18
StoryPowerShell is open sourced and is available on Linux Ehud Lamm2016-08-21 21:31
Forum topicMicroscript Ivan Vodišek2016-08-08 22:31
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
StoryHow to Build Static Checking Systems Using Orders of Magnitude Less Code naasking2016-06-12 18:06
Forum topicProgramming with a Differentiable Forth Interpreter Sean McDirmid2016-06-06 19:46
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicA2: Analog Malicious Hardware marco2016-05-28 09:36
Forum topicSTEPS Toward the Reinvention of Programming, 2012 Final Report Greg Buchholz2016-05-26 05:14
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicA Farewell to FRP in Elm Greg Buchholz2016-05-11 15:35
Forum topicAlgebra Of Pointers Keean Schupke2016-05-10 23:01
Forum topicPL's hotness challenge Sean McDirmid2016-05-10 06:04