Lambda the Ultimate

type	title	author	last post
Story	More from Udell on typing Some cynics are disillusioned cynics by Andris Birkmanis	Ehud Lamm	2004-09-20 22:50
Forum topic	"... because common people think like so-and-so..." What has first-class status in Turing machine? by Andris Birkmanis	Albert Y.C. Lai	2004-09-20 14:30
Forum topic	Apple Flunks First Grade Math Modulo mod by Andris Birkmanis	Frank Atanassow	2004-09-13 14:59
Forum topic	A Debugging Environment for Lazy Functional Languages 'cause I am quick to post by Andris Birkmanis	Andris Birkmanis	2004-09-10 19:09
Forum topic	Reflection in logic, functional and object-oriented programming: a Short Comparative Study	Andris Birkmanis	2004-09-10 17:40
Forum topic	Securing reflective towers Reflective capabilities calculus wanted alive by Andris Birkmanis Reflecting on names by Andris Birkmanis	Andris Birkmanis	2004-09-10 14:00
Forum topic	"Types and Reflection" by Lauri Emil Alanko Pademelons can be distinguished from wallabies. by Andris Birkmanis Chapter 16 by Andris Birkmanis	shapr	2004-09-02 08:29
Story	What's up guys? Reflection '96 by Andris Birkmanis	Ehud Lamm	2004-08-31 18:38
Story	New result re "linguistic determinism" Counts for free? by Andris Birkmanis	Ehud Lamm	2004-08-30 23:52
Forum topic	The Origins of the Turing Thesis Myth Is Epigram a bottomless TM? by Andris Birkmanis Or categorically by Andris Birkmanis It depends by Andris Birkmanis Yes, we could, but... by Andris Birkmanis Turing-complete is not Turing-limited by Andris Birkmanis Is Haskell program equivalent to TM? by Andris Birkmanis	Andris Birkmanis	2004-08-30 07:12
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
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