Lambda the Ultimate

type	title	author	last post
Forum topic	Embedding Prolog in Haskell	Frank Atanassow	2012-02-11 08:39
Forum topic	On the (Alleged) Value of Proof for Assurance Down with Reflection! * by Frank Atanassow	shap	2010-12-15 14:59
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	2010-12-15 14:54
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	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	2010-07-07 00:47
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	Have tracing JIT compilers won? Tracing JIT reference? by Frank Atanassow	Peter Michaux	2010-06-25 19:29
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	Seeking thoughtful criticisms of functional programming and languages Who hurt you? by Frank Atanassow Transparent logging by Frank Atanassow	scottmcl	2010-06-12 03:39
Forum topic	Algebraic List monoid by Frank Atanassow Some sketchy definitions by Frank Atanassow	morphir	2010-06-11 08:33
Forum topic	Why type systems are interesting Back to square one by Frank Atanassow Right. by Frank Atanassow "relax" vs. "constrain" by Frank Atanassow Nevermind. by Frank Atanassow Essentially enough. by Frank Atanassow Not a question of lifting idioms by Frank Atanassow Ours is not to reason why by Frank Atanassow Broken example? by Frank Atanassow How do you feel, waste-of-t by Frank Atanassow Inconsistency by Frank Atanassow ...	Anton van Straaten	2010-03-08 19:47
Forum topic	Stupid Question. Mumble, mumble, mumble by Frank Atanassow	Matt Estes	2009-06-26 20:47
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Re: Isos, etc. by Frank Atanassow	John Carter	2009-05-23 23:23
Story	Joshua Bloch: "Nearly All Binary Searches Broken" Harrumph. by Frank Atanassow Personally I think there are by Frank Atanassow	Ehud Lamm	2009-05-15 15:20
Story	LtU: blog not forum! Freedom of speech => duty to accept criticism by Frank Atanassow	Ehud Lamm	2009-02-14 14:11
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