Lambda the Ultimate

type	title	author	last post
Forum topic	Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?) accidental noise removed by raould natural language or fail by raould	mfidelman	2023-06-11 00:06
Forum topic	JIT: it's complimicated	raould	2022-12-16 01:07
Forum topic	Shen Standard Library Thesis-Antithesis by raould	Mark Tarver	2022-02-06 21:06
Forum topic	Java / CPython Language Bridge compared to what? by raould	davidnichols	2021-07-12 10:14
Forum topic	counterexamples.org	raould	2021-05-14 19:18
Forum topic	Objective-S	raould	2021-04-30 13:44
Forum topic	Concurrent System Programming with Effect Handlers	raould	2021-01-26 03:50
Forum topic	Looking for VM's or AM's for functional languages. one that never went anywhere fwiw by raould	AaronNGray	2020-12-10 16:10
Forum topic	Typer: ML boosted with type theory and Scheme gitlab by raould	raould	2020-12-03 18:46
Forum topic	Haskell-Like S-Expression-Based Language Designed for an IDE github by raould	raould	2020-12-03 18:25
Forum topic	Tackling the Awkward Squad for Reactive Programming	raould	2020-09-24 22:41
Forum topic	Is character as a type meaningless? one walled garde to rule them all by raould	Mats	2020-09-16 20:52
Forum topic	Various desired forms of reasonableness	raould	2020-02-07 15:53
Forum topic	CPS for the win?	raould	2019-03-10 17:26
Story	On compositionality to repeat something you've said before by raould fwiw i'd guess that cap >> effect by raould	Charles Stewart	2018-10-23 17:45
Forum topic	Flix on the JVM for static analysis	raould	2018-10-11 22:52
Story	Safe Dynamic Memory Management in Ada and SPARK vs. Rust? by raould	naasking	2018-08-01 22:57
Forum topic	Programming by poking: why MIT stopped teaching SICP jeeze, can't we all get along? by raould hear hear by raould	Sean McDirmid	2018-01-26 06:42
Forum topic	Algebra Of Pointers i am man and superman by raould	Keean Schupke	2017-12-30 13:48
Forum topic	A Functional Representation of Data Structures with a Hole (1998) MORE VIOLENT AGREEMENT! by raould evolution of a programmer by raould yes! by raould yes (at least a little bit) by raould what were the other 2 then?! by raould	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Living it up with a Live Programming Language Examples? by raould What works? by raould [ot] web / usability / rotations / graves by raould	Sean McDirmid	2017-06-10 16:27
Forum topic	On the (Alleged) Value of Proof for Assurance "does not mirror the structure of the program itself" by raould	shap	2016-11-24 01:04
Story	Pycket: A Tracing JIT For a Functional Language for great good by raould	gasche	2016-10-06 00:41
Story	Philip Wadler: Category Theory for the Working Hacker real world out of memory by raould all abstractions are leaky, some more so than others by raould copy the world on tick by raould i think yes by raould right on by raould monotonic data structures by raould see Shen by raould please, please do by raould	Ehud Lamm	2016-09-23 20:29
Forum topic	Term Rewrite System Implementations? wonderful PSA by raould maude? by raould	Ivan V.	2016-09-18 00:10
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation