Lambda the Ultimate

type	title	author	last post
Story	A Topos Foundation for Theories of Physics 2-categories and catastrophe theory by Frank Atanassow	Matt Hellige	2007-07-27 11:42
Forum topic	Order of the Science Scouts Badges Dumbass! by Frank Atanassow	Ehud Lamm	2007-03-23 15:00
Forum topic	Why type systems are interesting - part II I say we shall have no mo' "latent types"... by Frank Atanassow Prolog by Frank Atanassow How to know what you know by Frank Atanassow Not universal by Frank Atanassow Many translations by Frank Atanassow Integer \cong Even by Frank Atanassow FWIW by Frank Atanassow	Ehud Lamm	2006-12-08 01:38
Forum topic	if Records - Labels = Tuples then Rows - Labels = what? That is not dead, which can eternal lie... by Frank Atanassow	cdiggins	2006-12-04 01:57
Forum topic	The three dimensions of proofs Thanks. This is of interest by Frank Atanassow	Niels Hoogeveen	2006-09-14 17:42
Forum topic	Network Transparent languages Concurrency and state by Frank Atanassow	mansu	2006-08-08 19:10
Story	The right default: concurrent components with message passing Lengthy URL by Frank Atanassow	Peter Van Roy	2006-07-22 16:37
Forum topic	First Class Values, Types as values within a Programming Language Your deepest desires: on screwing by Frank Atanassow	Bruce Rennie	2006-07-20 00:50
Forum topic	Community enforcement discussion For the record: Marc and by Frank Atanassow	Anton van Straaten	2006-07-12 13:59
Story	Programming Languages and Lambda Calculi Normal "order" by Frank Atanassow	Noel	2006-07-11 17:23
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Dynamism, Legacy of the Visigoths by Frank Atanassow	nat	2006-07-09 21:57
Forum topic	Amusing question Science versus philosophy by Frank Atanassow Science not philosophy by Frank Atanassow Bite your tongue! by Frank Atanassow HDA3 by Frank Atanassow	Ehud Lamm	2006-07-08 19:19
Forum topic	Lexical structure of scripting languages Look before you leap. by Frank Atanassow	uchchwhash	2006-07-07 23:48
Story	'Information and Computation' Open Access More online journals by Frank Atanassow	Frank Atanassow	2006-07-05 23:13
Story	LtU: Policies document Links: passing the buck by Frank Atanassow	Ehud Lamm	2006-07-03 19:27
Forum topic	Why only 'minimal' languages Philippa's right. by Frank Atanassow	Karsten Wagner	2006-06-19 15:33
Forum topic	Relevance of Curry-Howard Bialgebras by Frank Atanassow Coalgebraic models by Frank Atanassow Andris: by Frank Atanassow Martin Hofmann by Frank Atanassow blah blah blah dependency injection blah blah blah by Frank Atanassow Hank: by Frank Atanassow Let's assume there is a type by Frank Atanassow That old saw... by Frank Atanassow From my point of view, CH is by Frank Atanassow	Klaus Ostermann	2006-06-12 13:36
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax Impressions by Frank Atanassow Ah, my error. by Frank Atanassow A few comments by Frank Atanassow	Frank Atanassow	2006-06-12 07:49
Forum topic	Editing posts Bug? by Frank Atanassow	Jeff Nowakowski	2006-06-09 01:05
Story	Syntax, Semantics and all that Stuff Authors by Frank Atanassow	Andris Birkmanis	2006-05-26 09:21
Forum topic	JavaScript 2.0: Evolving a Language for Evolving Systems RTFA by Frank Atanassow	Isaac Gouy	2006-05-23 11:40
Story	Erlang the Movie Ah. by Frank Atanassow Why? by Frank Atanassow Ugh by Frank Atanassow	Luke Gorrie	2006-04-21 18:09
Forum topic	What is a monad, why should I use it, and when is it appropriate? Monads in classical mathematics by Frank Atanassow	Jonathan Allen	2006-02-03 10:54
Forum topic	New for Python 2.5 Partial function application by Frank Atanassow	Ewan	2006-01-21 10:15
Forum topic	Joel Spolsky views on CS education By-products (not biproducts) by Frank Atanassow	Andrei Formiga	2006-01-20 20:55
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