Lambda the Ultimate

type	title	author	last post
Forum topic	Abstractionless programming Same paper? by Frank Atanassow P = NP, up to sharing by Frank Atanassow What is `abstraction'? by Frank Atanassow	Wouter	2017-06-10 16:36
Forum topic	On the (Alleged) Value of Proof for Assurance Down with Reflection! * by Frank Atanassow	shap	2016-11-24 01:04
Forum topic	What is Intuitive? The Answer by Frank Atanassow Gedankenexperiment by Frank Atanassow My neighbors suck. by Frank Atanassow Natural recursion? Recursion in nature! by Frank Atanassow	raould	2016-05-12 23:55
Forum topic	Have tracing JIT compilers won? Tracing JIT reference? by Frank Atanassow	Peter Michaux	2015-05-26 21:09
Story	Morrow & First-class Labels No comments? by Frank Atanassow	Frank Atanassow	2014-12-28 20:26
Story	seL4: Formal Verification of an Operating-System Kernel Last remark by Frank Atanassow Alternative solution by Frank Atanassow Blah blah blah bit rot blah blah blah by Frank Atanassow Hold yourself to the same standard. by Frank Atanassow Context-rot by Frank Atanassow I know you are joking, but... by Frank Atanassow Atanassowism by Frank Atanassow	James Iry	2014-07-29 07:19
Forum topic	SF-calculus OK, but... by Frank Atanassow Unconvinced, but grateful by Frank Atanassow You don't need to appeal to a different evaluation order. by Frank Atanassow So TMs /= untyped LC...? by Frank Atanassow	Barry Jay	2013-08-30 18:42
Forum topic	Seeking thoughtful criticisms of functional programming and languages Who hurt you? by Frank Atanassow Transparent logging by Frank Atanassow	scottmcl	2013-03-31 00:40
Story	Interactive Programming Implementation choices by Frank Atanassow "Dynamic implementation", not "dynamic language" by Frank Atanassow	Luke Gorrie	2013-03-25 05:32
Forum topic	Higher order versus Object order The purpose of a ninja is to flip out and kill people. by Frank Atanassow	Francis McCabe	2012-05-17 17:45
Forum topic	Embedding Prolog in Haskell	Frank Atanassow	2012-02-13 17:04
Forum topic	expressivity of "idiomatic C++" Myths and ideology in programming by Frank Atanassow	el-vadimo	2010-11-10 22:56
Story	Xtext: An IDE on the cheap Plug-in framework, not Xtext by Frank Atanassow Disappointed by Frank Atanassow	bashyal	2010-10-15 21:46
Forum topic	What are the properties of "Functional Programming Languages"? Re: Wolfram by Frank Atanassow	kaveh.shahbazian	2010-09-13 17:38
Forum topic	Data schema languages Well by Frank Atanassow Look at Wadler's papers on by Frank Atanassow	Matthew Willson	2010-08-10 12:24
Story	Why Undergraduates Should Learn the Principles of Programming Languages Various replies by Frank Atanassow Dichotomy by Frank Atanassow what is the main point of by Frank Atanassow Leadership = humility? by Frank Atanassow I'm with Dijkstra. by Frank Atanassow Stepping stones by Frank Atanassow Lambda-calculi with mutable state, etc. by Frank Atanassow Established canon by Frank Atanassow	Z-Bo	2010-07-15 09:08
Forum topic	Questions about Semantics. Algebraic Singularities, Finite Graphs & D-Brane Gauge Theories by Frank Atanassow I am running out of titles... by Frank Atanassow You can't make an omelette without breaking some eggs. by Frank Atanassow	Matt Estes	2010-07-15 05:47
Forum topic	Evocative metaphor Representation /= semantics by Frank Atanassow Phase distinction by Frank Atanassow	Ehud Lamm	2010-07-12 13:40
Forum topic	A lambda calculus with arbitrary set primitives Neat. by Frank Atanassow I still don't think that is by Frank Atanassow Uncountables unavailable. by Frank Atanassow Coq, Agda, etc.? by Frank Atanassow Conservative extension by Frank Atanassow Well, not quite. by Frank Atanassow	Neil Toronto	2010-07-01 12:56
Forum topic	happy rebirth day, LtU NG! It's just a stock Drupal by Frank Atanassow Maybe it's time for a facelift. by Frank Atanassow	el-vadimo	2010-06-25 17:55
Forum topic	A Theory of Typed Hygienic Macros Conference paper by Frank Atanassow	Jacques Carette	2010-06-20 22:13
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction CBV diverges strictly more often. by Frank Atanassow	marco	2010-06-20 04:28
Forum topic	plt vs. something else for programming in the large? The Dream of Leibniz by Frank Atanassow Some remarks by Frank Atanassow	raould	2010-06-17 01:07
Forum topic	C-Machine Neat. by Frank Atanassow	marco	2010-06-15 19:46
Forum topic	Algebraic List monoid by Frank Atanassow Some sketchy definitions by Frank Atanassow	morphir	2010-06-11 08:33
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