recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Security in FP Information Leakage and Confidentiality by Daniel Yokomizo Capabilities by Denis Bredelet -jido Emily: Capability-secure version of OCaml by claudio Thanks for the replies. Well by Carter Cheng Unclear question by shap Capabilities by SamK Ask Oleg by marco	Carter Cheng	2008-11-22 21:19
Forum topic	see history of things i started (vs. commented on)? thanks, nope by raould Could it have been this post? by Anton van Straaten :-) by raould It's probably our bug. by Anton van Straaten yes but by raould sort by author is not working. by bashyal uh by marco thanks, no luck by raould Live Search Advanced Macros by Z-Bo Google by Leon P Smith ...	raould	2010-01-26 19:11
Forum topic	seeking article on representing cyclic graphs using purely functional data structures Thank you by const Do you mean An Applicative by Jules Jacobs	const	2009-01-30 11:35
Forum topic	Seeking artricle on syntax sugar and comparing programming languages Snapshot analysis by const cognitive dimensions by dmbarbour cognitive development and programming languages by const Thank you. This is the by const Expressivity by gasche coined by Ser Peter of House Landin by Rys McCusker	const	2014-09-16 17:39
Forum topic	Seeking broad survey of wide range of concurrency idioms That presentation seems by lmeyerov You didn't mention Dynamic Data Flow by Serguey Zefirov 1) what was done by Z-Bo I'm loving task parallelism by lmeyerov Clarification by scottmcl Perhaps I read you wrong... by barrkel You know, I wrote to Edward by jpaulm Thanks! by scottmcl Massively Parallel Real Time by e Solved problem (?) by Tom Duff ...	scottmcl	2009-11-06 19:57
Forum topic	Seeking candidates to work on a custom compiler/language in NYC money by raould I recently learned that by Sean McDirmid	Kalani	2015-03-04 20:22
Forum topic	Seeking contributors to psyche-c	pronesto	2016-11-07 23:52
Forum topic	Seeking examples of programming language knowledge has helped students, companies, etc. It's somewhat impolite to by Ehud Lamm I assume it goes without by Ehud Lamm Thanks by Gary T. Leavens Jane Street by yminsky DSLs by paul_butcher While it is not about the by Ehud Lamm I am fond of Dan Friedman's by Ehud Lamm	Gary T. Leavens	2009-08-12 00:53
Forum topic	Seeking feedback for a tutorial paper draft about GADTs Try the Haskell google by dmbarbour	Anton Dergunov	2013-01-08 22:02
Forum topic	seeking help: approaches to model based development? probably not by raould While hardly bleeding edge by dmbarbour I wonder if one could by Kay Schluehr Execution versus implementation by Z-Bo not good for implementation? by e HOPL III by Chris Rathman Alloy by Z-Bo You can get pretty far by Z-Bo I sense Maude is slowly by Z-Bo and ilk by raould ...	raould	2009-08-10 21:35
first page previous page next page last page