Lambda the Ultimate

type	title	author	last post
Forum topic	Premonoidal categories and notions of computation Well, John Power... by neelk	Andris Birkmanis	2005-04-11 07:03
Story	Starlog Take a look at LolliMon... by neelk	Mark Evans	2005-04-04 20:23
Forum topic	programmatic nature of subatomic make up Continuations are negation by neelk	neadamthal	2005-04-04 20:16
Forum topic	Open problems in category theory and computing science I don't know if I fully agree by neelk	Dustin Mulcahey	2005-03-09 20:08
Forum topic	The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software Erlang and CML by neelk	ade_oshineye	2005-02-15 21:26
Story	Code Generation with Python, Cog, and Nant That's very cool. :) by neelk	Ehud Lamm	2005-02-13 19:13
Forum topic	Dynamic Eager Haskell I wouldn't be so quick to mak by neelk	Greg Buchholz	2005-01-19 15:18
Forum topic	Definition of Type You can even use it as a formal definition! by neelk	cdiggins	2004-12-09 11:42
Forum topic	What's a definition of "type" that beginners can understand? You're probably right that th by neelk Here's a fable by John Reynolds... by neelk	Toby Donaldson	2004-12-06 00:33
Forum topic	Scheme Language Standardization Process: R6RS Progress Report Cool! by neelk	mwand	2004-11-01 20:14
Story	Playing the Minesweeper with Constraints (MOZ 2004) Constraint solving vs. functional programming by neelk	Ehud Lamm	2004-10-22 08:18
Forum topic	Language design: Escaping escapes Mild disagreement on Perl... by neelk	Chui Tey	2004-10-21 02:33
Forum topic	Laszlo - So good, I had to change my underwear Laszlo was at LL2 by neelk	andrew cooke	2004-10-19 19:05
Story	What's up guys? Computational Category Theory by neelk	Ehud Lamm	2004-08-31 18:38
Forum topic	PLs and SE This reminds me of a couple of epigrams... by neelk	Ehud Lamm	2004-08-13 21:17
Forum topic	Constraint-Based Type Inference for Guarded Algebraic Data Types It's a pretty simple idea at root, though verbose to explain by neelk	Andris Birkmanis	2004-08-10 07:47
Story	Udell at OSCON: IronPython news Could you post a message in the discussion group here... by neelk	Ehud Lamm	2004-08-03 11:58
Forum topic	Having trouble with 'purity' Just look at the lambda calculus by neelk	mjstahl	2004-07-26 06:39
Forum topic	Type systems and software evolution Take a look at Michael Hicks's work.... by neelk	Ehud Lamm	2004-07-25 05:32
Forum topic	Is "type" a fundamental intrinsic property of values? Yes, it's valid by neelk	Neil Madden	2004-07-01 00:11
Story	Welcome to the New, Improved LtU! Thanks! by neelk	Ehud Lamm	2004-06-29 14:20
Forum topic	XPython Actually I'm not convinced th by neelk Hmm... by neelk	Dominic Fox	2004-06-25 18:39
Forum topic	1st International Workshop on Interpreted Languages I think... by neelk	Sebastian Bergmann	2004-06-23 15:09
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