Lambda the Ultimate

type	title	author	last post
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development Hardware vendors by adrieng	gasche	2015-08-22 15:22
Forum topic	Are Actors a Good Model for Computation. Temporal logic? by adrieng	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Compiling dynamic languages by adrieng Tradeoffs by adrieng	adrieng	2015-08-18 16:42
Story	Facebook open sources "Infer", static program analysis tool Yes by adrieng	Z-Bo	2015-07-28 18:54
Forum topic	Functors are Type Refinement Systems Interesting question by adrieng	adrieng	2015-06-12 20:12
Forum topic	Paper journals are in bad shape; priority established in HAL ... HAL and arXiv by adrieng	Hewitt	2015-06-07 15:39
Forum topic	message, stream and protocol typing Session types, continued by adrieng	Rys McCusker	2015-05-25 23:37
Forum topic	Trouble understanding Danvy's functional unparsing Long live format strings? by adrieng	jezng	2015-05-18 13:35
Story	Type soundness and race freedom for Mezzo Videos of the talk by adrieng	gasche	2015-05-07 13:14
Forum topic	Pony Actor/OO with Deny Capabilities Double-blind? by adrieng	raould	2015-05-05 16:19
Forum topic	how many lines of code can civilization support? Avionics by adrieng	Thomas Lord	2015-04-09 22:07
Forum topic	Future of Programming Videos, final program Games, maybe not, critical systems, sure by adrieng	Sean McDirmid	2014-12-12 14:09
Forum topic	Optimisation by repeated beta- and eta-reduction Pointers are different from ints by adrieng	L Spice	2014-09-22 01:00
Story	Apple Introduces Swift Type-checkers and exceptions by adrieng	bashyal	2014-08-21 17:54
Forum topic	Brendan Eich, CEO of mozilla Details by adrieng	Sean McDirmid	2014-04-13 18:55
Forum topic	Minimal implementation of state machines Synchronous languages by adrieng	giuseppemag	2014-02-01 05:12
Story	What needs to be done? Side point by adrieng	Ehud Lamm	2011-11-07 05:29
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 "Simple" cores and memory models by adrieng	Z-Bo	2011-03-14 05:47
Forum topic	I've run out of programming languages to study Inspiration from Esterel by adrieng Synchronous programming languages by adrieng	Josh Griggs	2011-02-27 03:20
Forum topic	Clojure's Solutions to the Expression Problem Curien by adrieng	fogus	2010-11-27 07:21
Forum topic	Lucid, Gipsy paper Lucid Synchrone by adrieng	raould	2009-08-08 20:55
Forum topic	subjective but hopefully less flamebaid-lame Deterministic concurrency and typing by adrieng	raould	2009-06-30 17:39
Forum topic	Teaching oneself Abstract Interpretation ? Patrick Cousot gave a course by adrieng	David Teller	2008-03-29 09:16
Forum topic	Deliverable code? Dynlink module by adrieng	Hank Thediek	2007-04-16 11:52
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