user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	Dynamic Region Inference Advantages unclear, separate union-find pass unnecessary? by naasking	naasking	2014-08-12 16:12
Forum topic	Cross-platform idiomatic code generation I finally read this paper by johnwcowan	raould	2014-08-08 18:11
Forum topic	SLE 2014 - Call for Participation	craiganslow	2014-08-08 05:40
Forum topic	Expressing Natural Deduction in Logic Languages Conjunctive Clause Heads by Keean Schupke Implementations of Prolog by johnwcowan	Keean Schupke	2014-08-06 07:42
Forum topic	Reactive Programming FRP for distributed by dmbarbour Is FRP Suitable for Distributed Computing? by Jack Waugh Probably Conal Elliott. He by Jules Jacobs Formal Process Control by dmbarbour Signals, event streams, or by dmbarbour Comparable Expositor by Jack Waugh Controlling Calculations in FRP by Jack Waugh Arguments in FRP by Jack Waugh If I understand correctly, by naasking Channels have no semantics, by Sean McDirmid ...	J Storrs Hall	2014-08-06 03:32
Forum topic	GPU for GC many worse problems by dmbarbour The princess and the 5ms garbage collector pause by Matt M the pauses! the pauses are killing me. by raould Mobile App by Keean Schupke browser might not be best performance case by Rys McCusker wrong spot by Rys McCusker misc thoughts by raould exemplary anti-example by raould UI in Web-browser. by Keean Schupke I can restate that to clarify intent by Rys McCusker ...	raould	2014-08-06 03:12
Forum topic	q-Derivatives of datatypes	mikestay	2014-08-05 07:59
Forum topic	The broad ML Family workshop Program with abstracts by Oleg Programme by gasche The mailing lists are only by Sean McDirmid Sometimes I urge posting by Ehud Lamm I thought of submitting by marco why not both? by Chad Wellington Informed opinion(!) by Ehud Lamm We try to keep the frequency by Ehud Lamm It is completely proper to by Sean McDirmid	Oleg	2014-07-31 10:07
Forum topic	InterState: A Language and Environment for Expressing Interface Behavior Brooks' work is very by Sean McDirmid Biology! by ibdknox Kodu programs are expressed by Sean McDirmid The paper that I was by Tess Foley Pointers? by ibdknox Yes, I should read more Brooks by Tess Foley There might be an embargo by Sean McDirmid As I am oft to mention, by Sean McDirmid not just you by ibdknox all broken links? by raould ...	Sean McDirmid	2014-07-31 02:06
Story	seL4: Formal Verification of an Operating-System Kernel seL4 source & proofs are now available by Asa Briggs rigorous standards by el-vadimo Dichotomy of Practice by dmbarbour Practice Makes Perfect by Paul Snively Yeah, it's a false dichotomy by dmbarbour Self-Made Frustration by Paul Snively Ideally, specifications by dmbarbour Two brief remarks. Frank by Kay Schluehr Great Strides and Initial Specifications by dmbarbour dijkstra by raould ...	James Iry	2014-07-29 07:19
first page previous page next page last page