Lambda the Ultimate

type	title	author	last post
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
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
Forum topic	Explaining monads Better example by Frank Atanassow Remember way back when? by Frank Atanassow Cogito ergo sum. by Frank Atanassow "The source of all type errors are type systems." by Frank Atanassow fustigate (v.) 1. to beat with a stick; 2. to criticize severely by Frank Atanassow	Ehud Lamm	2009-01-30 11:43
Forum topic	Shoot-out: most annoying compiler error message Who's da man? by Frank Atanassow Ad majorem dei gloriam by Frank Atanassow	marco	2008-12-21 21:45
Forum topic	Elementary Category Theory Moot by Frank Atanassow	Ohad Kammar	2008-10-23 11:52
Forum topic	Let's make a programming language! If syntax is unimportant by Frank Atanassow Re: Arrow by Frank Atanassow Some words of advice on language design by Frank Atanassow	Achilleas Margaritis	2008-09-12 09:21
Forum topic	Exploiting parser ambiguity Gibblets by Frank Atanassow foo by Frank Atanassow Notational abuse by Frank Atanassow	bdenckla	2008-09-07 16:12
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