Lambda the Ultimate

type	title	author	last post
Story	Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes	Charles Stewart	2023-03-08 05:47
Forum topic	Advantages of pointfree? Uneasy by Charles Stewart	John Nowak	2023-02-19 16:24
Forum topic	What is a type? Why are types tricky? by Charles Stewart	cpurdy	2023-01-25 22:53
Forum topic	CUE: An open-source data validation language Programming with lattice structure by Charles Stewart	Robbert van Dalen	2022-06-04 04:46
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 The future of Kernel by Charles Stewart	jdougan	2021-10-14 09:16
Story	Turnstile+: Dependent Type Systems as Macros	Charles Stewart	2021-08-17 17:18
Story	Introducing PathQuery, Google's Graph Query Language PathQuery's foundation by Charles Stewart	Z-Bo	2021-07-27 13:34
Forum topic	Emacs modes: what is it? Levien's xi-editor by Charles Stewart More useful than that by Charles Stewart Think of a simple model, not an analog by Charles Stewart	Qiantan Hong	2021-07-09 15:09
Forum topic	Why is there no widely accepted progress for 50 years? Safety isn't new by Charles Stewart	Milton Silva	2021-06-09 23:27
Story	A Next Generation Smart Contract and Decentralized Application Platform Smart contracts for the Stellar payment network by Charles Stewart Process calculi for chain code by Charles Stewart The minefield by Charles Stewart	Manuel J. Simoni	2021-05-12 10:13
Forum topic	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?") A-translation and constructions from classical proofs by Charles Stewart	chetmurthy	2020-12-15 19:40
Forum topic	Idris2 is self-hosting Even more exciting, for some of us by Charles Stewart	Ohad Kammar	2020-06-10 06:49
Forum topic	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" SQLite performance by Charles Stewart	mamcx	2019-06-08 16:17
Story	"Three Things I Wish I Knew When I Started Designing Languages"	Charles Stewart	2019-05-14 00:54
Story	The Little Typer Right by Charles Stewart	Anton van Straaten	2018-12-21 18:48
Story	On compositionality Modularity in and outside computer science by Charles Stewart Fixed by Charles Stewart	Charles Stewart	2018-10-23 17:45
Forum topic	Co-continuations: a dual to shift/reset? Comonadic state by Charles Stewart	xkapastel	2018-10-08 14:34
Forum topic	A pointer is an integer with a shiv	Charles Stewart	2018-09-26 09:02
Story	How efficient is partial sharing? judgmental equality in dependent type theory by Charles Stewart CBV and CBN; PL implementation concepts by Charles Stewart	Charles Stewart	2017-11-21 13:37
Story	The Syntax and Semantics of Quantitative Type Theory Thanks by Charles Stewart Helps a bit by Charles Stewart Expressivity by Charles Stewart	naasking	2017-07-26 18:34
Forum topic	What would be involved in moving logic beyond FOL? Ah, right, another try by Charles Stewart Finite paths are not much of a problem for FOL by Charles Stewart Example of an infinite path by Charles Stewart SOL based on predicates and functions are equivalent by Charles Stewart Infinite paths are oddities by Charles Stewart Herbrand models by Charles Stewart FOL satisfiability is semi-decidable; transitive cl. is 1-order by Charles Stewart Families of binders by Charles Stewart A starting point by Charles Stewart Creeping through the back door by Charles Stewart ...	Charles Stewart	2017-07-14 15:18
Story	Type Systems as Macros Type soundness proof by Charles Stewart	naasking	2017-06-25 11:19
Story	Databases from finite categories	Charles Stewart	2017-05-24 06:43
Page	Prolog vs mini-Kanren	Charles Stewart	2017-03-15 09:24
Forum topic	Rust's language ergonomics initiative Thinking about tools is still relevant by Charles Stewart	gasche	2017-03-11 09:00
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