neelk

typetitleauthor sort iconlast post
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-10-12 08:06
Forum topicThe Platonic Solids of Software Construction and Their Realization in C bryanedds2017-09-29 19:00
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2017-08-21 15:39
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 Vodišek2016-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 topicIs there an existing name for my higher-order function? shawnbrown2016-08-07 13:10
Forum topicBranch Forward Only Greg Buchholz2016-07-29 20:58
Forum topicWebAssembly Ivan Vodišek2016-06-24 17:31
Forum topicRecursive types skaller2016-06-17 06:02
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
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