Lambda the Ultimate

type	title	author	last post
Story	Stroustrup's Rule and Layering Over Time Oh. by John Shutt B by Jules Jacobs Let's say by John Shutt Those implicit choices are by Jules Jacobs A custom error combiner on by John Shutt The existence of this by Jules Jacobs explaining stuff by John Shutt Indeed, but by gasche Ideally, by John Shutt Early to tell by gasche ...	Ehud Lamm	2017-01-04 21:43
Story	The complexity of abstract machines	gasche	2017-01-12 01:09
Story	kdb+ 3.5 released last month Fixed, thanks by Z-Bo MS, not GS by mtk	Z-Bo	2017-03-26 23:57
Story	Idris 1.0 Released Open Issues by marco Idris' uptake by gasche	Ehud Lamm	2017-04-02 22:33
Story	Type Systems as Macros SEQUEL by Mark Tarver LF by rwh The proof of the soundness by Mark Tarver Type soundness proof by Charles Stewart was SEQUEL new? by Mark Tarver Turnstile and Shen by Mark Tarver was SEQUEL new? by Blaisorblade Hackett (mini-Haskell over Racket) uses this work by gasche more than matching by stchang Equivalence? by Keean Schupke ...	naasking	2017-06-25 11:19
Story	Databases from finite categories	Charles Stewart	2017-05-24 06:43
Story	Imperative Functional Programs that Explain their Work I can't read your example by Andrew Moss Yes I agree by chrisoliver But the "everyday language" by Andrew Moss Oystein Ore the culprit by chrisoliver Galois connections by chrisoliver	gasche	2017-05-31 09:03
Story	Jean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89 More than COBOL by Barak A. Pearlmutter	bashyal	2017-06-08 14:50
Story	Co-hygiene and quantum gravity	Manuel J. Simoni	2017-06-17 16:22
Story	The APL Idiom List Memories by Biep	Ehud Lamm	2017-07-20 09:13
first page previous page 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