Lambda the Ultimate

type	title	author	last post
Story	A located lambda calculus Well-timed - one of the two by lmeyerov	Ehud Lamm	2008-05-05 16:02
Story	Automatic Patch-Based Exploit Generation The assumption is that an by lmeyerov Not really; these techniques by lmeyerov	Charles Stewart	2008-04-30 06:49
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? For the record, Scott by lmeyerov	Ben Atkin	2008-04-29 03:20
Forum topic	Languages best suited for scientific computing? Titanium by lmeyerov	JustinTrellis	2008-04-24 18:59
Forum topic	Simple type system oriented question Let me paraphrase. Does by lmeyerov	scottmcl	2008-04-13 13:41
Forum topic	Context free grammar for shapes in a 2d grid? tree grammars by lmeyerov	markt	2008-04-11 11:35
Story	Simply efficient functional reactivity not really by lmeyerov	Matt Hellige	2008-04-10 05:53
Forum topic	Excel as a different programming paradigm top by lmeyerov	raould	2008-03-29 20:14
Forum topic	Educational environments to learn programming not enough information by lmeyerov	chihiro	2008-03-11 22:55
Forum topic	A Question about Overlap reactive systems by lmeyerov	cjh	2008-03-07 19:49
Forum topic	Bell-LaPadula and type safety oops by lmeyerov not so clear by lmeyerov I'm missing something by lmeyerov JIF by lmeyerov	johnwcowan	2008-03-06 15:04
Forum topic	time as a first class value? other ways to look at it by lmeyerov	shahbaz	2008-02-20 01:48
Forum topic	Impact of OO language style on code well by lmeyerov	raould	2008-02-08 21:15
Forum topic	Open5G web app language/system AFAICT by lmeyerov	raould	2008-01-21 18:58
Forum topic	Bret Victor's Substroke not sure I see it by lmeyerov	rossjudson	2008-01-18 07:45
Forum topic	Protium .. A way to understand it relative to previous work? by lmeyerov something more accessible? by lmeyerov	Srikumar Subramanian	2008-01-08 19:13
Forum topic	Examples of large-scale functional language projects Skydeck by lmeyerov I don't think so by lmeyerov ?? by lmeyerov ITA by lmeyerov	Luke Flemmer	2008-01-06 18:44
Story	DySy: Dynamic Symbolic Execution for Invariant Inference Symbolic/Concolic Signature Generators by lmeyerov	Ehud Lamm	2007-12-05 04:25
Story	Dependent Classes one derivation by lmeyerov	Matt Hellige	2007-11-25 05:26
Forum topic	PL research & grad schools? ugrad vs grad by lmeyerov others by lmeyerov	dataangel	2007-11-20 22:47
Story	The End of an Architectural Era (It’s Time for a Complete Rewrite) perhaps by lmeyerov persistent data vs persistant relational data by lmeyerov	Manuel J. Simoni	2007-10-29 23:34
Story	Derivation and Evaluation of Concurrent Collectors follow up paper by lmeyerov	neelk	2007-10-05 16:51
Forum topic	What is a state? I agree with both by lmeyerov	Hank Thediek	2007-09-07 13:41
Story	Automated Whitebox Fuzz Testing right by lmeyerov	Ehud Lamm	2007-06-05 17:48
Story	Interactivity considered harmful eh by lmeyerov	Jacques Carette	2007-05-21 20:15
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