Lambda the Ultimate

type	title	author	last post
Forum topic	Lisp webcomic You've worked with him, then... :) by Scott Johnson Of course, we know the reason why. by Scott Johnson	Jeff Cutsinger	2007-10-05 04:33
Story	Binary Lambda Calculus and Combinatory Logic Convenience is the reason by Scott Johnson	Chris Rathman	2007-09-28 23:59
Story	R6RS Validated Imagine searching for that on Google by Scott Johnson They could call it... by Scott Johnson	Noel	2007-08-31 06:57
Forum topic	Lectures on the Curry-Howard Isomorphism Online booksellers by Scott Johnson	Ehud Lamm	2007-08-28 17:18
Story	Metaprogramming with Traits Lots of things overlap with AOP... by Scott Johnson Could this be done using dependent types... by Scott Johnson	neelk	2007-08-21 10:01
Forum topic	creating my own programming language No unfriendliness intended by Scott Johnson One more thing by Scott Johnson I almost forgot... by Scott Johnson More on Dragon Books by Scott Johnson One? Several! by Scott Johnson	javiadip	2007-08-19 19:10
Forum topic	Formal methods for O/R mapping "More direct way" by Scott Johnson	Andris Birkmanis	2007-08-19 00:29
Forum topic	Metaobject protocols: Why we want them and what else they can do Old paper... by Scott Johnson	Greg Buchholz	2007-08-16 07:43
Forum topic	Dynamic interactivity in Mathematica 6 Go read "A New Kind of Science" by Scott Johnson	Sean McDirmid	2007-08-15 23:51
Forum topic	LtU beer party - Jerusalem Not too much beer, gents. by Scott Johnson	Ehud Lamm	2007-08-14 16:51
Forum topic	Or is it now? Design by contract and model-checking by Scott Johnson	Ehud Lamm	2007-07-27 18:08
Forum topic	Instantiation of classes in wrong place leads to wrong structures ... (reminder) Law of Demeter? by Scott Johnson	kaveh.shahbazian	2007-07-27 03:24
Forum topic	Apocalypse - the empire strikes back Your link doesn't work by Scott Johnson	Max	2007-07-24 22:22
Forum topic	Scientific Method: Relationships among scientific paradigms	Scott Johnson	2007-07-24 19:33
Forum topic	Whoever does not understand LISP, is doomed to reinvent it. And it occasionally gets accused... by Scott Johnson	kaveh.shahbazian	2007-07-22 19:46
Forum topic	Forth in hardware ("not dead yet") Avoiding naming can be useful... by Scott Johnson	raould	2007-07-10 18:20
Story	HOPL III: Evolving a language in and for the real world: C++ 1991-2006 If you are really writing ISRs by Scott Johnson If you are writing ISRs by Scott Johnson	Chris Rathman	2007-07-04 13:27
Forum topic	PLs and large scale development Given that C++ is typically compiled to native... by Scott Johnson Type inference and large projects by Scott Johnson I've seen bad programmers by Scott Johnson In my (admittedly limited) experience... by Scott Johnson What do you mean by "large scale"? by Scott Johnson	bieberbrueder	2007-06-27 22:09
Forum topic	Distributed Objects vs. Messaging Or in the terminology of Brooks by Scott Johnson A separate concern? by Scott Johnson	raould	2007-06-23 12:01
Forum topic	Steps Toward The Reinvention of Programming Heuristic approaches might be better by Scott Johnson Types are defined in terms of type systems by Scott Johnson Do say more by Scott Johnson Different kinds of type erasure by Scott Johnson	Isaac Gouy	2007-06-21 17:10
Story	OOP Is Much Better in Theory Than in Practice Agreed. by Scott Johnson Poorly written article by Scott Johnson	Ehud Lamm	2007-06-18 22:39
Forum topic	Total Functional Programming Partial functions are types by Scott Johnson	Greg Buchholz	2007-05-27 20:18
Forum topic	What's in a name: eval vs apply. Side effects? by Scott Johnson	cdiggins	2007-05-24 09:23
Forum topic	How to make the static represent the dynamic? You need linear or uniqueness types by Scott Johnson	raould	2007-05-23 02:19
Forum topic	Is Integer wrapping an exceptional condition? Depends on the application by Scott Johnson As someone else pointed out above... by Scott Johnson Would be fun by Scott Johnson It isn't less mathmatical for signed ints either by Scott Johnson CPUs have been embedded in FPGAs for years... by Scott Johnson	mansu	2007-05-21 23:34
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