chrisoliver

typetitleauthorlast post sort icon
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2021-08-17 17:18
StoryOn compositionality Charles Stewart2018-10-23 17:45
Forum topicC++ fun chrisoliver2018-06-11 02:05
Forum topicDefunctionalization+Refunctionalization+Expression Problem chrisoliver2018-02-02 04:24
Forum topicRefining Structured Type System Ivan V.2017-12-31 16:52
Forum topicAlgebra Of Pointers Keean Schupke2017-12-30 13:48
Forum topicA Functional Representation of Data Structures with a Hole (1998) Vladimir Slepnev2017-12-01 12:08
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
Forum topicThe question of the possibility of a simple formal foundation to the natural languages. Enrique Perez Arnaud2017-08-16 01:24
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
Forum topicProve: 'Cont r a = (a -> r) -> r' forms a monad marco2017-05-16 02:03
Forum topicLecturing birds how to fly Charles Stewart2016-09-07 18:46
Forum topicWhither FRP? raould2016-09-03 12:47
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicFormalization and programming language design -- explained to all gasche2016-04-01 05:40
Forum topicProgrammatic and Direct Manipulation, Together at Last Sean McDirmid2016-02-13 20:21
StoryStatic vs. Dynamic Languages: A Literature Review naasking2016-01-11 06:22
Forum topicTyped Data Andrew Moss2015-12-31 08:59
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
Forum topicHacker’s Brain – The Psychology of Programming Sean McDirmid2015-11-23 03:27
Forum topicMCG: A Visual Functional Programming Language cdiggins2015-11-02 19:34
Forum topicPL vs. PX Sean McDirmid2015-10-26 18:24
Forum topicLive programming in APX, an early peek Sean McDirmid2015-09-30 15:45
Forum topicword2vec Sean McDirmid2015-09-05 18:26