Lambda the Ultimate

type	title	author	last post
Forum topic	A Usability question: Too much typing? Fundamental Design Parameter by Marc Hamann	raould	2006-12-23 17:24
Forum topic	Abstractly typed languages A list by any other name by Marc Hamann	Matthew Willson	2006-12-15 04:58
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner [Community] A neutral reading by Marc Hamann	cdiggins	2006-12-14 05:12
Forum topic	unchecked exceptions are like runtime type checking? Yielding to temptation by Marc Hamann New type checking for LtU by Marc Hamann	lumpynose	2006-12-13 09:40
Forum topic	excitement in language research? One, Two by Marc Hamann	adamarthurryan	2006-12-13 08:50
Forum topic	Why type systems are interesting - part II Really a problem? by Marc Hamann Boy that worked well.... by Marc Hamann	Ehud Lamm	2006-12-08 01:38
Forum topic	Understanding continuations Symbol Slinger by Marc Hamann Formalizing intuition by Marc Hamann Hold the spaghetti by Marc Hamann Hatching a Scheme by Marc Hamann Meeting the audience by Marc Hamann What's this "we" stuff, kemosabe? by Marc Hamann Are we talking to ourselves? by Marc Hamann	Keith Devens	2006-12-06 23:43
Story	Future of software design? Back to the OP by Marc Hamann A Rose by any other Thread? by Marc Hamann The Layer Line by Marc Hamann Attempting to answer my own question by Marc Hamann Cheap, fast and under control by Marc Hamann False analogy? by Marc Hamann Transactional trade offs by Marc Hamann A modest suggestion by Marc Hamann One more lump by Marc Hamann Another case study by Marc Hamann ...	Peter Van Roy	2006-11-21 20:18
Story	Video: The Scala Experiment A second recommendation by Marc Hamann	Chris Rathman	2006-11-20 22:11
Forum topic	Functional programming and software engineering Keisaku by Marc Hamann Emerge from where? by Marc Hamann Have a garlic pill by Marc Hamann Against formal lies by Marc Hamann Friendly relations by Marc Hamann Design in a bottle by Marc Hamann Small addition by Marc Hamann In Transition by Marc Hamann Doh! Hallowe'en is over! by Marc Hamann Hollywood, here I come... by Marc Hamann ...	Kay Schluehr	2006-11-20 17:36
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
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