Lambda the Ultimate

type	title	author	last post
Forum topic	Staking Claims: A History of Programming Language Design Claims and Evidence The point is that we needed by lmeyerov In the case of UI, one of by lmeyerov individual-centric social science by lmeyerov From cognitive science, one by lmeyerov OLPC and bananas: spirals, not pipelines by lmeyerov 1. Most formal properties by lmeyerov That lack of mathematical by lmeyerov You suggest PL features need by lmeyerov The easiest to test by lmeyerov	Sean McDirmid	2011-04-19 23:40
Forum topic	History of PL Awesome, I've been searching by lmeyerov You probably are already by lmeyerov	Ehud Lamm	2011-04-08 22:44
Story	Finding and Understanding Bugs in C Compilers I reported two concrete by lmeyerov Many of the bugs we found by lmeyerov	James Iry	2011-04-02 07:31
Story	Keyword and Optional Arguments in PLT Scheme I don't buy that by lmeyerov	Manuel J. Simoni	2011-03-23 17:33
Forum topic	Object capabilities for protecting object slots in prototype-based languages? prototypes and layout by lmeyerov oops wrong place by lmeyerov Ah, I misunderstood reactive by lmeyerov I haven't seen enough work by lmeyerov securing metaobject protocols: mirrors, proxies, views, ... by lmeyerov	Denis Washington	2011-03-10 02:17
Forum topic	I've run out of programming languages to study The WWW paper, while I have by lmeyerov I am on the ocaps list by lmeyerov Capabilities are flexible, by lmeyerov Esterel introduced (?) by lmeyerov Right, I think we're in by lmeyerov Clean slates are great... by lmeyerov I'm trying to respond to by lmeyerov I don't see the walled by lmeyerov We've seen this fail, e.g., by lmeyerov You can always dress it up: by lmeyerov ...	Josh Griggs	2011-02-27 03:20
Forum topic	What is computation? Concurrency versus Turing's Model In many-core concurrent by lmeyerov	Hewitt	2011-02-22 13:52
Story	The Semicolon Wars Is there actually a by lmeyerov	James Iry	2011-02-20 15:00
Forum topic	Strongly Typed Coroutines (minor question) I'm trying to understand by lmeyerov	scottmcl	2011-02-13 17:49
Forum topic	Go or Unladen Swallow? I'd add 3) stay in L1 by lmeyerov	Srikumar Subramanian	2011-02-07 08:56
Forum topic	Holistic types If you are, it'd help PL by lmeyerov You might want to look at by lmeyerov	Igor Serikov	2011-02-01 15:37
Forum topic	guy steele on how (not) to think of parallel programming I think fixed by lmeyerov Haven't followed this thread by lmeyerov	Thomas Lord	2011-01-25 05:56
Forum topic	Fast Compilers This sounds like the by lmeyerov Measuring the success of a by lmeyerov Static code coverage is a by lmeyerov Some are -- contracts, type by lmeyerov Verification and testing, by lmeyerov Less facetiously, if we look by lmeyerov Run a profiler on loading a by lmeyerov	Ed Earl Ross	2011-01-19 23:50
Story	Scala Team Wins ERC Grant This is great to see -- by lmeyerov	Ehud Lamm	2011-01-18 05:47
Story	Continuation-Passing C: Compiling threads to events through continuations That doesn't really solve the by lmeyerov Oops, guess I had fish on my by lmeyerov Looks fun: related (but by lmeyerov	Allan McInnes	2010-12-18 16:46
Forum topic	The fundamental limitations of parser combinators... and how to fix them. Have you tried sending this by lmeyerov	Dominique Devriese	2010-12-17 13:17
Forum topic	"Future of Programming Languages" panel Same for type systems. While by lmeyerov	puredanger	2010-12-14 18:29
Story	A Preliminary Survey on Functional Programming I'm actually trying to put by lmeyerov aim on SE and FP problems. by lmeyerov Again, I don't think the by lmeyerov Social theories are pretty by lmeyerov 1. Survey design is an by lmeyerov	Ehud Lamm	2010-12-14 05:28
Forum topic	New Dataflow Programming Language I'm more thinking in line by lmeyerov No. I'm not arguing against by lmeyerov Do you mean that in the same by lmeyerov Monads are a great barrier by lmeyerov Researchers create new by lmeyerov I'd hope so -- syntax aside, by lmeyerov I don't really remember the by lmeyerov I think this really means by lmeyerov The ptolemy II project and by lmeyerov	ad1mt	2010-11-30 01:24
Forum topic	Why are objects so unintuitive? I found the 150 rule in by lmeyerov Strange about WPF. Back at by lmeyerov Tracking actions (especially by lmeyerov 1. I'd give Adobe a bit more by lmeyerov I wish that was my thesis :) by lmeyerov Some off the top of my by lmeyerov As somebody who got paid by lmeyerov	Lee Chou	2010-11-19 19:07
Forum topic	Scan-based Data Parallel Languages	lmeyerov	2010-11-14 20:28
Story	Turning down the LAMP: Software specialization for the cloud Or, see Mesos, gaining in by lmeyerov	Tommy McGuire	2010-11-06 15:40
Forum topic	Comprehensive overview of security models? What's your real goal?To by lmeyerov	Z-Bo	2010-11-02 21:07
Forum topic	Accelerating Haskell Array Codes with Multicore GPUs This work is very similar to by lmeyerov	Rabi Alam	2010-11-01 19:19
Forum topic	Concurrent Composition and Algebras of Events, Actions, and Processes parallelism is where the compute is by lmeyerov ignore me by lmeyerov Cliff's experience is about by lmeyerov	raould	2010-10-31 20:45
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