Lambda the Ultimate

type	title	author	last post
Forum topic	poll: syntax "Just to conform" by sigfpe The most readable language I know is... by sigfpe	Givas	2008-01-25 02:00
Story	How to write your next POPL paper in Coq Can someone say something about the prerequisites? by sigfpe	Ehud Lamm	2008-01-13 18:01
Forum topic	functions, statements, expressions Can be done, or can be done reasonably? by sigfpe	Jason Dusek	2007-12-25 10:52
Story	Gödel, Nagel, minds and machines One that keeps reading inputs... by sigfpe	Ehud Lamm	2007-11-22 08:09
Forum topic	Petition for adding garbage collection to C++. Graphics by sigfpe	Achilleas Margaritis	2007-11-20 16:24
Story	Idioms for Composing Games with Etoys Simple by sigfpe	Luke Gorrie	2007-11-08 02:13
Forum topic	Computing is a Natural Science Irrelevant by sigfpe	Hank Thediek	2007-10-15 20:49
Forum topic	Question about the Monad associativity law Associativity isn't about order by sigfpe	sciomako	2007-10-09 20:57
Story	Binary Lambda Calculus and Combinatory Logic Chris Okasaki on minimal combinators. by sigfpe	Chris Rathman	2007-09-28 23:59
Forum topic	Online video course on monads My favourite example of a natural transformation is from CS by sigfpe Why a monoid is a one object category by sigfpe	renaud	2007-09-20 22:37
Forum topic	What is a state? Recommended reading by sigfpe	Hank Thediek	2007-09-07 13:41
Forum topic	Fogotten Book Title The funny thing about google... by sigfpe	olwe	2007-08-31 07:12
Forum topic	Comprehensions with ‘Order by’ and ‘Group by’ I was secretly hoping monad comprehensions would... by sigfpe	Isaac Gouy	2007-08-28 10:31
Forum topic	Monad Description For Imperative Programmer ...we) would like to know a bit more about them, too. by sigfpe Sort of... by sigfpe Shells and Monads by sigfpe I'm not sure I see what you mean... by sigfpe Monads and mutable state by sigfpe	kaveh.shahbazian	2007-08-22 18:10
Forum topic	creating my own programming language You might also want to consider... by sigfpe	javiadip	2007-08-19 19:10
Forum topic	Partial evaluation applied to high speed lighting preview Depends on how you slice it by sigfpe I read a large chunk of the book by sigfpe Didn't Wolfenstein 3D do this? by sigfpe	sigfpe	2007-07-30 22:25
Story	Thinking Forth & Starting Forth Not that simple by sigfpe	Luke Gorrie	2007-07-13 17:22
Story	Haskell web store It was intended with irony... by sigfpe Because only a tiny fraction of people know it's possible by sigfpe	Anton van Straaten	2007-07-09 18:58
Forum topic	Katahdin: Modifying your programming language as it runs Some more datapoints by sigfpe	chrisseaton	2007-06-29 00:34
Story	AutoBayes -- A DSL For Bayesian Networks Just came across this comment by sigfpe	Noel	2007-06-20 20:25
Story	Solving a Sudoku with one SQL-statement Sudoku in X by sigfpe	Ehud Lamm	2007-06-12 18:00
Forum topic	Why people don't use functional programming? Number mod X by sigfpe Not enough information by sigfpe	Gergely Buday	2007-06-09 16:40
Forum topic	Total Functional Programming Two issues by sigfpe The contract of the caller by sigfpe I hope you caught that BBC story... by sigfpe I had this thought just the other day... by sigfpe	Greg Buchholz	2007-05-27 20:18
Forum topic	Is Integer wrapping an exceptional condition? The p-adics by sigfpe Don't think of it as wrapping by sigfpe	mansu	2007-05-21 23:34
Forum topic	Can referential transparency be bad? (puzzle included) Great! by sigfpe What you ask is closely related to a problem... by sigfpe	Andris Birkmanis	2007-05-12 00:53
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