neelk

type sort icontitleauthorlast post
Forum topicThe Platonic Solids of Software Construction and Their Realization in C bryanedds2017-09-29 19:00
Forum topicAffine Types - Introductory reading filipallberg2017-07-10 02:17
Forum topicDomain specific language for playing games davidb2017-05-03 22:47
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicHow will look a modern imperative language? All love here is functional only.. mamcx2017-02-18 18:58
Forum topicjsMath support? neelk2016-12-29 16:05
Forum topicList of POPL 2017 papers with crowd-sourced preprint links gasche2016-12-08 18:05
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicResources for implementing higher-kinded types? Jon Purdy2016-11-11 10:40
Forum topicTerm Rewrite System Implementations? Ivan V.2016-09-18 00:10
Forum topicWhither FRP? raould2016-09-03 12:47
StoryAutomatic type inference via partial evaluation Ehud Lamm2016-08-15 15:40
Forum topicBranch Forward Only Greg Buchholz2016-07-29 20:58
Forum topicWebAssembly Ivan V.2016-06-24 17:31
Forum topicRecursive types skaller2016-06-17 06:02
Forum topicA Farewell to FRP in Elm Greg Buchholz2016-05-11 15:35
Forum topicIs the "Getting started"-guide up-to-date? filipallberg2016-03-29 06:03
StoryCompilers as Assistants bashyal2015-12-04 15:35
StoryProgramming with Algebraic Effects and Handlers Matt Hellige2015-12-04 03:11
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
StoryWhen Is A Functional Program Not A Functional Program? neelk2015-11-20 21:56
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicmeta: September "propose a post" post (proposal) Thomas Lord2015-09-15 10:27
Forum topicAfter over two years and 1700 commits, the Nu Game Engine (the world's first practical pure functional game engine) reaches v1.0 bryanedds2015-09-14 14:37
Forum topicContinuous feedback in PL Sean McDirmid2015-08-21 14:39