Lambda the Ultimate

type	title	author	last post
Forum topic	Static typing may require runtime type checking? Re: object/meta by Leon P Smith "Totality" of a Scheme function versus ML array dereferencing by Leon P Smith What's a functional programming language? by Leon P Smith But the object level informs the meta by Leon P Smith I say potato, you say... by Leon P Smith	sidhu	2009-05-06 15:18
Forum topic	Any tips (Logo)? ACSLogo by Leon P Smith	Ehud Lamm	2009-05-05 03:37
Forum topic	Looking for list of programming problems to thoroughly test a language Project Euler by Leon P Smith	derekp	2009-05-04 18:46
Forum topic	source code conversion Pascal -> C by Leon P Smith	bokel	2009-05-03 14:49
Story	ADD 50 TO COBOL GIVING COBOL Progress Functions by Leon P Smith Not quite :-) by Leon P Smith Heh by Leon P Smith	James Iry	2009-05-02 10:14
Story	Parsing Expression Grammars Performance, Ambiguity of CFGs vs PEGs by Leon P Smith	Luke Gorrie	2009-04-30 09:35
Story	Polymorphic Delimited Continuations From Shift and Reset to Polarized Linear Logic by Leon P Smith	Leon P Smith	2009-04-23 04:24
Story	A Computer-Generated Proof that P=NP Re: Fully Rigorous by Leon P Smith Actually... by Leon P Smith Answer three by Leon P Smith Indeed by Leon P Smith	Leon P Smith	2009-04-20 19:18
Story	Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts Video interview of John McCarthy by Leon P Smith	Ehud Lamm	2009-04-20 07:43
Story	LtU: Forum not blog Hahaha by Leon P Smith	Ehud Lamm	2009-04-13 00:34
Forum topic	Eliminating fuzziness of access modifiers CTM by Leon P Smith	Jaroslav Tulach	2009-04-11 07:16
Story	PLOT: Programming Language for Old Timers Ehh by Leon P Smith Lispy syntax and macros by Leon P Smith	Luke Gorrie	2009-04-09 15:40
Forum topic	Twitter and Scala Obie's Opinion by Leon P Smith Yep by Leon P Smith Semantics matters! by Leon P Smith Speeding up Ruby by Leon P Smith Indeed by Leon P Smith Mostly agreed by Leon P Smith Proebsting's Law by Leon P Smith Welcome! by Leon P Smith	snedunuri	2009-04-08 19:30
Story	AMS: A Special Issue on Formal Proof Zeilberger chimes in... by Leon P Smith Wow. Thank you, Chris. by Leon P Smith	Chris Rathman	2009-04-02 07:49
Forum topic	Functional Programming Project Interesting by Leon P Smith	puneet	2009-04-01 20:12
Story	Open access at MIT and Harvard This is probably a good thing... by Leon P Smith	Charles Stewart	2009-03-29 04:48
Forum topic	Influence of cognitive models on programming language design Matt is correct... by Leon P Smith Re: Scalability by Leon P Smith Interesting by Leon P Smith	Srikumar Subramanian	2009-03-26 21:04
Forum topic	Tiered approaches to higher order programming? Hmm. by Leon P Smith Hmm by Leon P Smith	John Nowak	2009-03-22 19:38
Forum topic	Generating nested data types at runtime Your coalgebraic morphism by Leon P Smith Interesting. by Leon P Smith	rob myers	2009-03-22 17:56
Story	Languages and security: a short reading list Haha, only serious. by Leon P Smith	James Iry	2009-03-22 17:02
Forum topic	J. Schwartz died A real loss by Leon P Smith	Boyko Bantchev	2009-03-21 19:36
Forum topic	Relational database implementation paper ? Hmm... by Leon P Smith RevLex Orderings by Leon P Smith First-order Performance Issues by Leon P Smith Datalog by Leon P Smith	Archiloque	2009-03-20 17:30
Story	Linear Logic and Permutation Stacks--The Forth Shall Be First Hmm... by Leon P Smith Reasoning? by Leon P Smith	Luke Gorrie	2009-03-14 06:49
Story	Barbara Liskov Wins Turing Award Well deserved. by Leon P Smith	Ehud Lamm	2009-03-14 04:29
Story	A New Approach to the Functional Design of a Digital Computer Yeah, I actually clicked on by Leon P Smith The B5000 by Leon P Smith	Luke Gorrie	2009-03-14 03:59
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