neelk

typetitleauthor sort iconlast post
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 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