Lambda the Ultimate

type	title	author	last post
Forum topic	SEC interested in formalising contracts ... in Python Sounds dangerous, not only by naasking Haskell or Scheme's by naasking I'm clearly stretching here, by naasking How so? Or more importantly, by naasking	Noel	2010-05-06 12:56
Forum topic	Capability-based security; how does it work? You only mentioned by naasking Where is this particular by naasking I have seen humans enter by naasking Encryption is not by naasking I think Ray is concerned by naasking When you talk about by naasking (and still consider superior by naasking [...] and track "ownership" by naasking Let's say my neighbour looks by naasking The radical notion behind by naasking ...	Ray Dillinger	2010-05-01 19:23
Forum topic	Any research on garbage collection for a pure langauge? Region-based memory by naasking	jason stumpf	2010-05-01 12:05
Story	LtU turns 7: The year of spam I'll second the real name by naasking	Ehud Lamm	2010-04-29 05:51
Forum topic	How can C Programs be so Reliable? In EROS, the hardware page by naasking I know of no way to enforce by naasking This brings up a good point: by naasking Just parameterize every by naasking I figured it would just by naasking C is like that. PLT folk by naasking	Manuel J. Simoni	2010-04-23 11:54
Forum topic	Solving the expression problem with type classes Another paper by naasking Is this the paper you're by naasking I have the Modular Generics by naasking Indeed, that was the best by naasking Afraid not. That one's in my by naasking	naasking	2010-04-20 03:30
Forum topic	splitting the program into formalizable vs. non-formalizable parts? which thus far by naasking	raould	2010-04-17 03:48
Story	Can functional programming be liberated from the von Neumann paradigm? Related: Algebraic/Denotational Models of Effects by naasking	Charles Stewart	2010-04-14 20:25
Forum topic	Higher order functions vs. function arity and calling conventions Yes, he shows an example or by naasking He expanded on this proposal by naasking It sounds like the problems by naasking	scottmcl	2010-04-12 17:08
Story	Tagless Staged Interpreters for Simpler Typed Languages Translated to C# by naasking Thanks for the link. There by naasking Updated link by naasking How much can be done in the language? by naasking Administrative redices -> constant propagation by naasking Final clarification by naasking I'll try to clarify by naasking Self-interpretation->staging->dynamic linking? by naasking Can this approach be by naasking	Ehud Lamm	2010-04-06 00:28
Forum topic	Fantom language discussion ; what are your thoughts ? There's probably a sweet by naasking	anwars	2010-03-31 18:21
Forum topic	Will data-intensive computing revolutionize programming languages? In fact, they're quite low. by naasking	Peter Van Roy	2010-03-30 16:54
Story	Objects to Unify Type Classes and GADTs Good point. This proposal by naasking Fixed, thanks. The link by naasking As another point to ponder, by naasking	naasking	2010-03-26 20:36
Forum topic	Advantages of Purity If you or someone else by naasking Perhaps my recollection is by naasking And here's the type for by naasking	giuseppemag	2010-03-24 17:11
Forum topic	Reactive Extensions for .NET released this week Glitch-free? by naasking	Wolf Logan	2010-03-18 15:28
Forum topic	functional equivalance? It's not necessarily an by naasking To my mind, auditability by naasking	raould	2010-03-17 18:59
Forum topic	The Myth of the Genius Programmer What then-contemporary work by naasking Choosing the right defaults by naasking	Leon P Smith	2010-03-14 16:23
Forum topic	Small PL Thought Experiment [I looked at the paper you by naasking You may want to consider an by naasking	scottmcl	2010-03-11 18:11
Forum topic	large-scale programming systems inspired by ecological and market systems To be fair, there is still by naasking	Ray Dillinger	2010-03-07 07:13
Forum topic	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" From my reading, he was by naasking Where's the burden? by naasking but the design overhead of by naasking	raould	2010-03-05 22:19
Story	Can a Biologist Fix a Radio? but it ends in a plea for by naasking	James Iry	2010-03-04 03:17
Story	Joe-E: A Security-Oriented Subset of Java If you have any insights by naasking Incidentally, in retrospect by naasking We may have different by naasking Sorry, that was a by naasking This design choice was by naasking	Ehud Lamm	2010-03-02 01:35
Forum topic	Testing release of a platform for hosting pure functional web applications I think Matt just meant that by naasking For reference purposes, here by naasking you give the app a big by naasking Facet pattern, powerbox by naasking WPF is a good example. I'm by naasking I guess I just think we need by naasking I think "code-based UI by naasking The reason is that we don't by naasking Not sure about Adam's by naasking we just combine first-class by naasking	Adam Chlipala	2010-02-26 23:30
Forum topic	Erik Meijer's MSDN Channel 9 lecture series on functional programming On the other hand, you do by naasking	Z-Bo	2010-02-26 18:20
Forum topic	NaNs and reflexivity Then, the NaNs propagates by naasking	Bertrand_Meyer	2010-02-16 14:50
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