Lambda the Ultimate

type	title	author	last post
Forum topic	Do we talk types over the phone? Categorial grammar by Frank Atanassow	Andris Birkmanis	2005-12-02 09:10
Forum topic	Elegant Method of binding a function variable An answer by Frank Atanassow	StuartBruff	2005-11-07 15:18
Forum topic	a + b * c in Brian Meek's "The static semantics file" I find friendly people suspicious. by Frank Atanassow	bdenckla	2005-11-04 17:24
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Different advantages by Frank Atanassow	Ehud Lamm	2005-11-02 01:34
Forum topic	Why Lists? Why lists? Five reasons. by Frank Atanassow	David B. Held	2005-11-01 21:15
Forum topic	Selfish reference begging Mitchell by Frank Atanassow	kilrati	2005-10-20 06:36
Story	Functional programming in Java Formatting by Frank Atanassow	Anton van Straaten	2005-10-18 14:40
Forum topic	Category theory Calculational category theory by Frank Atanassow	Matthew Willson	2005-09-27 19:22
Forum topic	Ivory Towers and Gelfand's Principle My carpets are known the world over. by Frank Atanassow	Leon P Smith	2005-09-03 14:13
Forum topic	A section on Books PLT Online by Frank Atanassow	senthil	2005-09-01 14:28
Story	Concrete Abstractions on the web LtU links by Frank Atanassow OK. by Frank Atanassow PLT Online books by Frank Atanassow	Anton van Straaten	2005-08-14 12:09
Story	A Case for Formal Specification	Frank Atanassow	2005-08-02 14:46
Forum topic	Why type systems are interesting - part III: latent types Difference Between a Testis and an Ovary by Frank Atanassow	Anton van Straaten	2005-07-14 01:39
Forum topic	Martin Fowler on Language Workbenches and DSLs Heresy by Frank Atanassow Graphics versus text by Frank Atanassow Graphical languages are better for small programs. by Frank Atanassow	marco	2005-07-10 18:30
Forum topic	organizing papers... JabRef by Frank Atanassow My method by Frank Atanassow	Matt Hellige	2005-07-07 15:32
Forum topic	"typed" files OR xml OR meta information for delim. files. Infosets by Frank Atanassow	shahbaz	2005-07-07 01:35
Story	In Search of the Ideal Programming Language I am not a crook! by Frank Atanassow Verbing weirds language. by Frank Atanassow	Mark Evans	2005-07-05 12:15
Forum topic	A question I have been meaning to ask. Theorem proving with FP by Frank Atanassow	Hank Thediek	2005-06-16 14:57
Forum topic	Funny characters inference SNAFU by Frank Atanassow	Andris Birkmanis	2005-06-04 12:25
Forum topic	Call for Papers: ACM Symposium on Dynamic Languages Gag! by Frank Atanassow	rwuyts	2005-05-17 17:28
Forum topic	Script Vs Java And "reflective" by Frank Atanassow	RajeshKannan	2005-04-25 17:55
Forum topic	Introduction to computability logic Du veränderst nicht den Teufel... by Frank Atanassow	Andris Birkmanis	2005-04-25 07:51
Forum topic	According to Allen Holub programming is now a liberal art. When did this happen? Trainspotting by Frank Atanassow Commercialization by Frank Atanassow Specialization by Frank Atanassow Slashdot mentality by Frank Atanassow	ade_oshineye	2005-04-16 22:46
Story	Dominus talks about HO Perl Citation? by Frank Atanassow	Charles A Stewart	2005-04-14 23:18
Story	μABC: A Minimal Aspect Calculus Feature interaction by Frank Atanassow	Andris Birkmanis	2005-03-22 22:02
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