Lambda the Ultimate

type	title	author	last post
Forum topic	Computing complexity You could have stated a simpler question. by marco	giuseppemag	2010-05-11 20:38
Story	Code Quarterly - The Hackademic Journal Not a bad point by marco	Ehud Lamm	2010-05-10 20:44
Story	The Structure of Authority: Why security is not a separable concern Tresspassing and Theft by marco	naasking	2010-05-07 21:39
Forum topic	SEC interested in formalising contracts ... in Python Yeah by marco Ah well by marco Then explain to me by marco I agree by marco Or it is elaborate sales? by marco As I got it by marco I did? by marco No goal and an agenda doesn't exists by marco Who is Our? by marco Hugs is written in C by marco ...	Noel	2010-05-06 12:56
Forum topic	Typed Lambda Calculus ∀τ:τ→τ by marco Wouldn't this be 2nd order too? by marco	marcosag	2010-05-05 21:11
Forum topic	How can C Programs be so Reliable? The Trick Works by marco Don't understand his trick.... by marco Sets...Since... by marco I agree by marco No Faults, Design Decisions by marco Another Good Point by marco Maybe... by marco Ah by marco Though I agree with you... by marco Component Failure by marco ...	Manuel J. Simoni	2010-04-23 11:54
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Baruch Spinoza by marco Zero Kelvin Systems by marco Like it too by marco	Isaac Gouy	2010-04-20 22:32
Forum topic	Ideas for a PL-oriented honors thesis No Shifting by marco Those who teach, can't by marco I don't see your point? by marco Cool, thanks for that answer. by marco I know that.. by marco Well... by marco I agree, but... by marco Don't by marco	Shrutarshi Basu	2010-04-17 14:10
Forum topic	splitting the program into formalizable vs. non-formalizable parts? I think, it's was by now... by marco Well, having scanned the link and your post by marco Pnueli, Milner by marco	raould	2010-04-17 03:48
Forum topic	Combinators for contracts Can't... Resist... by marco	Charles Stewart	2010-04-16 14:45
Forum topic	Specifying Solvers? To Clarify by marco	shap	2010-04-15 14:08
Story	Can functional programming be liberated from the von Neumann paradigm? As a side note... by marco Hmpf by marco yeah well by marco Yeah by marco Don't assume too much... by marco i'll bite once again. by marco unsafePerformIO != Imperative. Monad == Imperative. by marco	Charles Stewart	2010-04-14 20:25
Story	Objects to Unify Type Classes and GADTs Right.. by marco I admit I didn't totally get that by marco class Set (S a)? by marco	naasking	2010-03-26 20:36
Forum topic	Advantages of Purity At some point... by marco	giuseppemag	2010-03-24 17:11
Forum topic	Small PL Thought Experiment Uh by marco Well.... by marco Cool, I got that under 12 seconds! by marco Great Feedback by marco Great, thanks! by marco Didn't you get the memo? by marco	scottmcl	2010-03-11 18:11
Story	Reminder: OOPSLA is now SPLASH I second this! by marco	neelk	2010-02-22 23:35
Forum topic	Genericity over tuples Generic Haskell and Template Meta Programming by marco	Alex Rubinsteyn	2010-02-03 21:04
Forum topic	Declarative binding vs. composition CS is a science by marco	Sean McDirmid	2010-02-02 15:30
Forum topic	see history of things i started (vs. commented on)? uh by marco	raould	2010-01-26 19:11
Forum topic	Quantum Lambda Calculus (forget it) by marco Btw by marco Duh by marco Oh great, I am confused. by marco Ah well, okay. by marco As far as I can see... by marco Thomas: Then reread them yourself before you claim anything! by marco Twister by marco Oh golly, dropping the M&Ms by marco Is Not by marco ...	Wolf Logan	2010-01-24 22:41
Forum topic	The Next Mainstream Programming Languages Wasn't by marco Some languages solve all problems by marco	Per Vognsen	2010-01-24 13:32
Forum topic	most water-tight real-world language implementation? I am trying this by marco	raould	2010-01-15 23:08
Forum topic	wondering why C is the language of compilers- when a Scheme subset would seem to be a better fit? If I remember correctly by marco	spdegabrielle	2010-01-07 02:11
Forum topic	Is (probabilistic) non-determinism pure ? These are just definitions by marco Non-determinism != Probabilistic by marco	Steven Obua	2009-12-30 21:38
Story	Objects as Modules in Newspeak Naive approximation by marco	James Iry	2009-12-27 23:52
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