Lambda the Ultimate

type	title	author	last post
Forum topic	Questions about Semantics. God now I am replying to my own posts again... by marco No worries by marco Well.... by marco	Matt Estes	2010-07-15 05:47
Forum topic	How important is language support for namespace management? Dictionaries and Contexts by marco	Manuel J. Simoni	2010-07-12 18:33
Forum topic	Evocative metaphor Hey! by marco	Ehud Lamm	2010-07-12 13:40
Forum topic	Uncle Bob's talk at RailsConf 2010 He said a lot more than just that... by marco He makes you think by marco I doubt them both... by marco Yah, well by marco Google Watts by marco Exsqueeze Me? by marco Moore excellent by marco Teaching is Lying by marco	Marc Hamann	2010-07-07 20:43
Story	An intuitionistic logic that proves Markov's principle Thanks for the clarification by marco I have been thinking about similar lines by marco	neelk	2010-07-07 08:23
Story	SIGPLAN's first Programming Languages Software Award goes to LLVM Mature? by marco	bashyal	2010-07-06 19:16
Forum topic	Simulation language ideas? I second this... by marco	James W Hofmann	2010-07-05 22:33
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction Okidoki by marco Encodings by marco Thanks by marco	marco	2010-06-20 04:28
Forum topic	C-Machine True by marco Yah. by marco	marco	2010-06-15 19:46
Forum topic	Spam filters Given the amount of subscribers by marco	Charles Stewart	2010-05-19 16:45
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
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