Lambda the Ultimate

type	title	author	last post
Forum topic	References about the importance of formalism in programming language design I'm an optimist: I think by lmeyerov all interesting progress in by lmeyerov Negative space: formalism helps non-disruptive design by lmeyerov [Redacted] by lmeyerov Don't conflate pressure to by lmeyerov	giuseppemag	2012-03-30 05:42
Forum topic	How to Generate (Hard) Real-Time Code from Declarative Programming Languages? Decoupling orchestration and by lmeyerov A lot of the interest in RT by lmeyerov I don't work in RT, so I by lmeyerov For any of these functional by lmeyerov	bryanedds	2012-03-29 23:06
Forum topic	crazy PL idea: prescriptive trait inference Searching for type-error messages by lmeyerov	Sean McDirmid	2012-03-26 23:20
Forum topic	Long rant on Erlang-style Actors: Lost Dimension There are a lot of issues by lmeyerov It's not just unique by lmeyerov To be clear, Jules is by lmeyerov This is really cool :) by lmeyerov As far as I can tell, your by lmeyerov The Q library is nice :) by lmeyerov Yeah, all these notions of by lmeyerov I don't see how this answers by lmeyerov So "all" returns "Array 'a" by lmeyerov For the same-vat case, by lmeyerov ...	const	2012-03-20 08:57
Forum topic	Filtering system calls with a packet filtering language One step closer to D-trace, by lmeyerov	Manuel J. Simoni	2012-03-15 20:57
Story	Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 It seems rational to, after by lmeyerov	Z-Bo	2012-03-06 03:02
Forum topic	Bret Victor's Inventing on Priniciple As Sean notes, almost all of by lmeyerov	Sean McDirmid	2012-03-05 10:44
Forum topic	Syntax Desugaring Algorithm Question Their PLDI paper about by lmeyerov	bryanedds	2012-02-23 23:46
Forum topic	Active Variables in Common Lisp OO languages do it for by lmeyerov	kruhft	2012-02-08 18:02
Forum topic	Small is Beautiful: the design of Lua Hard not to think more by lmeyerov	bashyal	2012-02-07 14:33
Forum topic	Visual Studio Achievements I agree, up to simple and by lmeyerov	Manuel J. Simoni	2012-01-20 22:23
Story	Cambridge Course on "Usability of Programming Languages" Traditional CS/HCI by lmeyerov 1. Here's a recent survey by lmeyerov	James Iry	2012-01-06 03:55
Forum topic	Run Your Research: On the Effectiveness of Mechanization	lmeyerov	2011-12-29 20:22
Forum topic	iPhone PL lockdown I believe they put the by lmeyerov They support JavaScript, so by lmeyerov Trying to argue Apple's by lmeyerov Lockdown is common in by lmeyerov There are actually two by lmeyerov This is consistent with by lmeyerov	Sean McDirmid	2011-12-24 05:49
Forum topic	General purpose as a special case? Yes, but subject to by lmeyerov	Wendell	2011-12-18 04:04
Forum topic	Models for distributed parallelism Reading the replies, I think by lmeyerov BSP and LogP *were* by lmeyerov	Victor Eijkhout	2011-12-08 21:56
Forum topic	REPL-schmepl? The relationship between by lmeyerov	el-vadimo	2011-12-07 00:25
Story	What needs to be done? Wonderful example, thanks! by lmeyerov Hpc does autotuning by lmeyerov Did you have concrete by lmeyerov Yes, I sort of presumed the by lmeyerov Socially-motivated design by lmeyerov	Ehud Lamm	2011-11-07 05:29
Story	Opa Hi Noel :) Weenie in the by lmeyerov Blocking on reads can be by lmeyerov Putting it differently, a by lmeyerov Early FrTime work was by lmeyerov	Ehud Lamm	2011-10-28 01:42
Forum topic	Parallel frameworks for graph processing Awhile back I pointed by lmeyerov	lmeyerov	2011-10-13 18:11
Forum topic	Redesigning the Mozart virtual machine or a happy inbetween? by lmeyerov	Peter Van Roy	2011-10-04 22:20
Forum topic	Piecewise functional programming You might also enjoy Esterel by lmeyerov	Gabriel Horvath	2011-10-03 11:08
Forum topic	Sample applications for programming languages Sigh. Sure, you can make by lmeyerov File systems, at least the by lmeyerov The essential notion is that by lmeyerov In Haskell you would have by lmeyerov You wouldn't write it in the by lmeyerov Flapjax AFAIK extracts stuff by lmeyerov The second app isn't hard -- by lmeyerov For 3, 4, I think I've seen by lmeyerov Yeah I've actually been by lmeyerov Yes, the way I've been going by lmeyerov ...	Jules Jacobs	2011-09-28 21:00
Story	Google's "The Future of JavaScript" internal memo leaked To bring some objective by lmeyerov	Z-Bo	2011-09-27 16:31
Forum topic	Forum Topics and Story A mechanism for pushing FRP by lmeyerov	Henry Luo	2011-09-24 17:53
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