Lambda the Ultimate

type	title	author	last post
Forum topic	programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. clearer by Andrew Moss Mixing formal- and display- semantics never ends well by Andrew Moss Why is it a concern for language design? by Andrew Moss	Ray Dillinger	2023-11-30 21:25
Forum topic	Typesetting a Type System with Color-Coding Syntax highlighting is so by Andrew Moss	andrew johnson	2023-08-08 00:41
Forum topic	Delay in posting Different for preview and post by Andrew Moss Different for preview and post by Andrew Moss Only happens in preview by Andrew Moss	Andrew Moss	2023-06-14 08:43
Forum topic	Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?) Dead programs by Andrew Moss dup by Andrew Moss	mfidelman	2023-06-11 00:06
Forum topic	What is a type? Regarding incremental by Andrew Moss Hypercomputtion by Andrew Moss How? by Andrew Moss I’m interpreting the by Andrew Moss Chance would be a fine thing by Andrew Moss It would seem that some by Andrew Moss The hair that you are trying by Andrew Moss It is not a sloppy usage of by Andrew Moss	cpurdy	2023-01-25 22:53
Forum topic	John Shutt, creator of Kernel and an LtU regular, dies at 56 Condolences by Andrew Moss	jdougan	2021-10-14 09:16
Forum topic	Why is there no widely accepted progress for 50 years? Similarities at other scales by Andrew Moss	Milton Silva	2021-06-09 23:27
Forum topic	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?") JastAdd examples by Andrew Moss	chetmurthy	2020-12-15 19:40
Story	"Three Things I Wish I Knew When I Started Designing Languages" Beautiful by Andrew Moss	Charles Stewart	2019-05-14 00:54
Story	On compositionality I wonder if that is the same by Andrew Moss [ deleted ] by Andrew Moss	Charles Stewart	2018-10-23 17:45
Forum topic	Non-determinism: a sublanguage rather than a monad If you accept a transition by Andrew Moss Double-disagree by Andrew Moss Non-determinism as an effect by Andrew Moss	Greg Buchholz	2017-10-28 07:57
Forum topic	The Platonic Solids of Software Construction and Their Realization in C Specialisation by Andrew Moss Complexity is not free by Andrew Moss Strong claims require strong evidence by Andrew Moss	bryanedds	2017-09-29 19:00
Forum topic	Reversing operations Program Inversion by Andrew Moss	Pablo Barenbaum	2017-09-08 16:08
Forum topic	Language features for tracing JIT? That is probably true - the by Andrew Moss Multi-path execution by Andrew Moss	Luke Gorrie	2017-08-21 14:33
Forum topic	How to name the inverse functions of constructors Top-level reply? by Andrew Moss Distiller? by Andrew Moss	hbrandl	2017-07-03 00:16
Story	Imperative Functional Programs that Explain their Work I can't read your example by Andrew Moss But the "everyday language" by Andrew Moss	gasche	2017-05-31 09:03
Forum topic	A refutation of Gödel's first incompleteness theorem The abstraction is normally by Andrew Moss Yes by Andrew Moss Encodings by Andrew Moss Not convinced. by Andrew Moss	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Any thoughts on WanaDecrypt0r? Smart people by Andrew Moss The team that wrote it by Andrew Moss Exploits are old by Andrew Moss	marco	2017-05-21 21:12
Forum topic	Domain specific language for playing games Multigame by Andrew Moss	davidb	2017-05-03 22:47
Forum topic	CFL parsing, and another way to look at the CNF... Tempered skepticism by Andrew Moss Interesting by Andrew Moss Language is LR(1). by Andrew Moss Complexity by Andrew Moss	Cyril	2017-03-07 07:27
Forum topic	Process Network for Effects, Monad Alternative Logic languages by Andrew Moss Message loss? by Andrew Moss So what is the difference? by Andrew Moss CSP / Occam without alternation? by Andrew Moss	dmbarbour	2017-02-20 06:09
Story	Salon des Refusés -- Dialectics for new computer science Explains more than the love. by Andrew Moss Thought provoking by Andrew Moss	gasche	2017-02-19 07:18
Forum topic	How will look a modern imperative language? All love here is functional only.. The disadvantage of the by Andrew Moss That sounds like it. by Andrew Moss Felix grammar parsing example? by Andrew Moss Control types by Andrew Moss Works in theory by Andrew Moss Hierarchy by Andrew Moss	mamcx	2017-02-18 18:58
Forum topic	Inference of Polymorphic Recursion Alternative grounding by Andrew Moss	Matt M	2017-02-07 04:40
Forum topic	Unsoundness Henry Massalin by Andrew Moss	skaller	2017-01-20 15:16
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