recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler From glancing at the paper by Watson Ladd Java-like language by Denis Bredelet -jido See also by shap	Allan McInnes	2009-02-16 15:44
Story	Purpose-Built Languages Languages also evolve by replacement by shap	Allan McInnes	2009-05-05 15:21
Forum topic	LiteratePrograms wiki svn by ahy1 Is the patch available? by Ehud Lamm Xen & VMWare by Bryan Turner Large projects and fragility by dcoetzee Excellent point by Allan McInnes web-based ide by assman Good point, just be careful by dcoetzee More than one way to skin a cat by Allan McInnes What about a user by Luke Crook literate programming by daly ...	Allan McInnes	2006-03-26 19:37
Story	Swift: making web applications secure by construction Taint by Allan McInnes Excellent move by True Konrads	Allan McInnes	2009-04-02 21:53
Story	Specification and Verification: The Spec# Experience No mention of Singularity or Midori by shap Good question by Cyril Very interesting indeed by gasche	Allan McInnes	2011-06-10 04:46
Story	Tracking the Flow of Ideas through the Programming Languages Literature Thoughts? Questions we should answer? by Michael Greenberg	Allan McInnes	2015-08-12 21:28
Story	SequenceL - declarative computation on nonscalars Got it wrong- it is not recursive map by Denis Bredelet -jido Neither by Dave Griffith K's atomic functions? by pierre Infix, multiple args? by Matt Hellige Groovy Spread operator by Dave Griffith overloading by dcooke Not good enough yet by Matt Hellige I like recursive map by Denis Bredelet -jido Conflicts with overloading by Tim Sweeney Dead website by dcooke ...	Allan McInnes	2009-11-03 12:28
Forum topic	Logix: Multi-Language Programming Logix or Logorrhoea? by Kay Schluehr Don't worry about it. by Ehud Lamm see also boo and nemerle by dough Oops by Allan McInnes Previously on LtU by Ehud Lamm	Allan McInnes	2005-09-23 06:08
Forum topic	A stackless runtime environment for a Pi-calculus thanks by James McCartney infos about the CubeVM by fredokun More detailes compilation instructions by fredokun Thanks for the heads up by Allan McInnes still doesn't build. by James McCartney More info by Allan McInnes Interesting...where can I find more information? by Achilleas Margaritis A note on compilation by Allan McInnes	Allan McInnes	2006-11-02 12:41
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml It is confusing while the by Sean McDirmid Meh by gasche French version by pjmlp source as docs by NickP good catch by NickP Hm by gasche link by NickP here's the link by NickP Hard data point by Andrew Moss Fair enough by Allan McInnes ...	Allan McInnes	2015-10-12 22:15
first page previous page next page last page