9 May
2015
9 May
'15
9:59 a.m.
On Sat, 09 May 2015 00:20:25 +0200, wren romano
In recent years there've been a number of papers on "variational lambda-calculi"[1] which essentially serve to embed flag-based preprocessor conditionals directly into the language itself. : [1] e.g., http://dl.acm.org/citation.cfm?doid=2398856.2364535
Or, without paying: http://web.engr.oregonstate.edu/~walkiner/papers/icfp12-variational-type-err... Best regards, Henk-Jan van Tuyl -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/