neelk

typetitle sort iconauthorlast post
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
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
Forum topicLimitations of FRP? Sean McDirmid2015-08-04 08:28
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicWho owns your research? Results of SIGPLAN Open Access survey gasche2015-06-25 06:55
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicThe Programming Language Wars: Questions and Responsibilities for the Programming Language Community Phil Miess2015-05-18 14:25