typetitleauthorlast post sort icon
Forum topicProgramming Languages for a Programmable World (what's on those tablets in Westworld, anyway?) mfidelman2023-03-08 05:55
Forum topicJIT: it's complimicated raould2022-12-16 01:07
Forum topicShen Standard Library Mark Tarver2022-02-06 21:06
Forum topicJava / CPython Language Bridge davidnichols2021-07-12 10:14
Forum topiccounterexamples.org raould2021-05-14 19:18
Forum topicObjective-S raould2021-04-30 13:44
Forum topicConcurrent System Programming with Effect Handlers raould2021-01-26 03:50
Forum topicLooking for VM's or AM's for functional languages. AaronNGray2020-12-10 16:10
Forum topicTyper: ML boosted with type theory and Scheme raould2020-12-03 18:46
Forum topicHaskell-Like S-Expression-Based Language Designed for an IDE raould2020-12-03 18:25
Forum topicTackling the Awkward Squad for Reactive Programming raould2020-09-24 22:41
Forum topicIs character as a type meaningless? Mats2020-09-16 20:52
Forum topicVarious desired forms of reasonableness raould2020-02-07 15:53
Forum topicCPS for the win? raould2019-03-10 17:26
StoryOn compositionality Charles Stewart2018-10-23 17:45
Forum topicFlix on the JVM for static analysis raould2018-10-11 22:52
StorySafe Dynamic Memory Management in Ada and SPARK naasking2018-08-01 22:57
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2018-01-26 06:42
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 topicLiving it up with a Live Programming Language Sean McDirmid2017-06-10 16:27
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
StoryPhilip Wadler: Category Theory for the Working Hacker Ehud Lamm2016-09-23 20:29
Forum topicTerm Rewrite System Implementations? Ivan V.2016-09-18 00:10