Lambda the Ultimate

type	title	author	last post
Forum topic	New Paul Graham thing... Unwanted laziness by Andris Birkmanis Cookbooks do differ by Andris Birkmanis	Matt Hellige	2004-08-24 16:47
Forum topic	hierarchy destruction in Ada FAQ update? by Andris Birkmanis	Michael Mounteney	2004-08-19 10:29
Story	Well, that's one way of doing it... Just one tool from the box by Andris Birkmanis	Ehud Lamm	2004-08-19 09:18
Forum topic	Type Theoretical Foundations for Data Structures, Classes, and Objects On the other hand by Andris Birkmanis	Andris Birkmanis	2004-08-13 11:39
Story	Udell: A strategic vision for dynamic languages Half-agree by Andris Birkmanis TCP/IP is not a protocol by Andris Birkmanis	Ehud Lamm	2004-08-12 18:21
Story	Scrap more boilerplate Let's keep it secret by Andris Birkmanis	Ehud Lamm	2004-08-11 18:24
Story	Eliminating Array Bound Checking through Non-dependent types It may be worth to use Haskell, after all :) by Andris Birkmanis Great! by Andris Birkmanis You're kidding?! by Andris Birkmanis There is plenty of room within decidable kingdom by Andris Birkmanis	Ehud Lamm	2004-08-10 13:13
Forum topic	Constraint-Based Type Inference for Guarded Algebraic Data Types Thanks by Andris Birkmanis	Andris Birkmanis	2004-08-10 07:47
Forum topic	Tail of Nil and Its Type Is this fathful enough? by Andris Birkmanis Tail of tail of... by Andris Birkmanis I love it, too by Andris Birkmanis Anyone interested in some lectures? by Andris Birkmanis Is it Haskell98? by Andris Birkmanis Dependent types can see where simple types can only look :-) by Andris Birkmanis Excuse me for not being clear enough by Andris Birkmanis "it's still there, and it's still unexpected" by Andris Birkmanis General recursion in Epigram by Andris Birkmanis I say - Haskell is not "static" enough by Andris Birkmanis ...	Andris Birkmanis	2004-08-08 23:21
Forum topic	breve: a 3D simulation environment GLUT by Andris Birkmanis	Frank Atanassow	2004-08-07 14:59
Story	Partial Continuations Just to be pedantic by Andris Birkmanis	Ehud Lamm	2004-08-06 16:21
Forum topic	HTML guidelines	Andris Birkmanis	2004-08-05 05:45
Story	The C++ Source Journal It's fun after all by Andris Birkmanis	Mark Evans	2004-08-02 18:49
Forum topic	International Components for Unicode 3.0 Released A distinct syntax for RTL string literals by Andris Birkmanis	Mark Evans	2004-08-02 04:39
Forum topic	Mila Specification not implementation by Andris Birkmanis Does not look small by Andris Birkmanis	Christian Staudenmeyer	2004-07-31 20:56
Story	Derrida's Machines No Chinese Room? by Andris Birkmanis	Chris Rathman	2004-07-31 12:31
Story	Francis Crick (1916-2004) Effects for DNA experts? by Andris Birkmanis	Ehud Lamm	2004-07-30 16:27
Forum topic	HTML editors Missing unquote character by Andris Birkmanis	Ehud Lamm	2004-07-30 03:51
Forum topic	The site discussions forum Editing the head? by Andris Birkmanis Session? by Andris Birkmanis Google the archives by Andris Birkmanis Citing LtU1 by Andris Birkmanis	Ehud Lamm	2004-07-29 12:48
Forum topic	A Functional Semantics of Attribute Grammars I said it hurts :-) by Andris Birkmanis Use futures...? by Andris Birkmanis	Andris Birkmanis	2004-07-27 17:51
Story	Grady Booch on software archeology Another in the works by Andris Birkmanis IT doomed? by Andris Birkmanis	Ehud Lamm	2004-07-25 16:23
Forum topic	Info needed Not top schools? by Andris Birkmanis	Ehud Lamm	2004-07-25 09:50
Forum topic	Database Theory and Type systems/Programming Languages. Does "relational" imply "DB"? by Andris Birkmanis Prolog? by Andris Birkmanis	Matt Estes	2004-07-23 19:38
Forum topic	Keywords per post? Multi-set keys by Andris Birkmanis	Andris Birkmanis	2004-07-23 19:37
Forum topic	Old computer science and technical books worth searching for A bit of calculus by Andris Birkmanis Wild guess by Andris Birkmanis	James Hague	2004-07-23 18:01
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