Lambda the Ultimate

type	title	author	last post
Forum topic	Logic programming based GUI framework The grid has to have the by naasking Most systems these days by naasking I was thinking more along by naasking Those laws seem designed for by naasking	Tegiri Nenashi	2010-07-30 22:01
Forum topic	The Rust Language Abstract Intepretation by naasking Hmm, lightweight static by naasking Just when I thought I had an by naasking	Noel	2010-07-27 23:17
Story	Why Undergraduates Should Learn the Principles of Programming Languages What he, in my opinion, by naasking I sympathize with the idea by naasking	Z-Bo	2010-07-15 09:08
Forum topic	How important is language support for namespace management? Basically, natural language by naasking	Manuel J. Simoni	2010-07-12 18:33
Forum topic	Seeking nearly anything re: so called language "bootstrapping" process Need to add "http://" to by naasking 90 minute Scheme to C compiler by naasking	scottmcl	2010-07-10 22:04
Forum topic	plt vs. something else for programming in the large? Yes, but for some reason I by naasking They do towards the by naasking We need a strong optimizing by naasking So what is the improvement by naasking With software, we are bound by naasking	raould	2010-06-17 01:07
Forum topic	some critiques of the Semat initiative But he's also saying he by naasking From Cockburn's critique: I by naasking	el-vadimo	2010-06-16 09:30
Forum topic	Types/Ordering of canonical FP compiler transforms and optimizations? CiteSeer link. by naasking	scottmcl	2010-06-02 01:39
Forum topic	Alan Kay's 70th Only a little. Still, by naasking Parametric polymorphism as a by naasking Yes, C# gained generics by naasking In a feeble effort at by naasking	Z-Bo	2010-05-31 21:19
Story	The Structure of Authority: Why security is not a separable concern Security can be both tested by naasking ... as has Cobol. I'm not by naasking Almost anything can (and by naasking Do you know of any by naasking Based on systems I see by naasking Bringing capabilities into by naasking Ah. So if I broke through by naasking The telephone system is a by naasking There are other forms of by naasking NOW you are not writing by naasking ...	naasking	2010-05-07 21:39
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
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