Lambda the Ultimate

type	title	author	last post
Forum topic	Higher order insertion sort - HELP PLZ [Community] OT by Marc Hamann	mmc	2006-11-19 18:49
Story	Practical OCaml Publishing for Dollars by Marc Hamann A Platypus by Marc Hamann	Matt Hellige	2006-11-14 13:41
Forum topic	Want to learn something new To Become A Better Programmer by Marc Hamann	pureza	2006-11-12 19:49
Story	A Very Modal Model of a Modern, Major, General Type System A new one for the Papers section? by Marc Hamann	Ehud Lamm	2006-11-08 20:17
Forum topic	running a sample of lisp program [Community] OT by Marc Hamann	derura	2006-11-07 15:04
Forum topic	Monitoring whether a function happens A Journey of a Thousand Miles by Marc Hamann Evaluation <-> Result by Marc Hamann	ricky_clarkson	2006-10-30 00:07
Forum topic	The Type of 42 A Cheshire Cat? by Marc Hamann What is your type system for? by Marc Hamann The answer is 6x8 by Marc Hamann	cdiggins	2006-10-27 19:09
Forum topic	Question on terminology What's in a name? by Marc Hamann Some ideas by Marc Hamann	hutorny	2006-10-26 15:33
Forum topic	Constraint based hybrid typing and the Curry Howard Isomorphism Stand on the shoulders of giants by Marc Hamann The mountains are mountains, the rivers are rivers by Marc Hamann An instance of an Intuitionist by Marc Hamann What are you trying to gain? by Marc Hamann	Felicia Li Svilling	2006-10-20 15:07
Story	Failure-oblivious computing Rights = responsibility by Marc Hamann Thanks by Marc Hamann You have to start somewhere by Marc Hamann [Community Standards] A reminder by Marc Hamann Oblivious code or oblivious designer? by Marc Hamann	Anton van Straaten	2006-10-04 20:21
Forum topic	The three dimensions of proofs Where's the kitchen sink? by Marc Hamann	Niels Hoogeveen	2006-09-14 17:42
Forum topic	First Class Values, Types as values within a Programming Language Heterogenous collections by Marc Hamann	Bruce Rennie	2006-07-20 00:50
Story	Socially Responsive, Environmentally Friendly Logic What does it do for you? by Marc Hamann	Andris Birkmanis	2006-07-13 09:06
Forum topic	Community enforcement discussion Tending the garden by Marc Hamann A carrot, not a stick by Marc Hamann Antibodies by Marc Hamann	Anton van Straaten	2006-07-12 13:59
Story	Programming Languages and Lambda Calculi Tribblation by Marc Hamann Terminological Reform (Party?) by Marc Hamann A gobbet of gore by Marc Hamann "Abuse of terminology" by Marc Hamann An even better answer by Marc Hamann Better answer by Marc Hamann Strictness by Marc Hamann	Noel	2006-07-11 17:23
Forum topic	Amusing question This is getting WAY OT by Marc Hamann A PLT Tapestry by Marc Hamann Heidegger, Heidegger was a boozy beggar by Marc Hamann Cogito ergo sum programmator by Marc Hamann Maybe not so off direction by Marc Hamann Through a glass darkly by Marc Hamann	Ehud Lamm	2006-07-08 19:19
Story	LtU: Policies document Fedora or stetson? by Marc Hamann Progress at work by Marc Hamann Do as I say, not as I do? by Marc Hamann Example of the need for examples by Marc Hamann Value added by Marc Hamann Tom Brown's School Days by Marc Hamann Policies are good by Marc Hamann Ambiguous style by Marc Hamann	Ehud Lamm	2006-07-03 19:27
Forum topic	Relevance of Curry-Howard Enrollment is up... by Marc Hamann FP is just a reliable road by Marc Hamann Knowing his audience by Marc Hamann A jigsaw? by Marc Hamann	Klaus Ostermann	2006-06-12 13:36
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax Some thoughts by Marc Hamann	Frank Atanassow	2006-06-12 07:49
Forum topic	Lambda the Ultimate Set Comprehension Break out the hobby horse by Marc Hamann One last try... by Marc Hamann How's the water? by Marc Hamann No swimming in the deep end by Marc Hamann Category theory: it's not just for breakfast anymore by Marc Hamann Axiom to grind by Marc Hamann Sets and Functions by Marc Hamann	xyzzy	2006-05-17 06:05
Story	Ian Bicking: The challenge of metaprogramming You're both wrong! ;-) by Marc Hamann	Ehud Lamm	2006-03-06 17:42
Forum topic	The fate of reduce() in Python 3000 PL as social contract by Marc Hamann	Andrei Formiga	2006-02-12 19:27
Story	Variables as Channels I am not a number... oh wait, maybe I am... by Marc Hamann	Klaus Ostermann	2005-10-05 22:45
Story	Ken Shan: Shift to Control Swing your partner round and round... by Marc Hamann Static Exceptions? by Marc Hamann	Ehud Lamm	2005-10-05 12:04
Forum topic	From Perl Monks: "pissed off about functional programming" Useful Definitions vs Definitive Definitions by Marc Hamann All languages are FP? by Marc Hamann Personal FP baseline by Marc Hamann Confusion reigns by Marc Hamann	tmoertel	2005-10-03 13:04
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