[PRL] Fwd: foundations for staged embedded programming

David Van Horn dvanhorn at ccs.neu.edu
Thu Apr 28 15:03:12 EDT 2011



-------- Original Message --------
Subject: 	foundations for staged embedded programming
Date: 	Thu, 28 Apr 2011 14:01:09 -0400
From: 	Christian Skalka <wintersmind at gmail.com>
Reply-To: 	skalka at cs.uvm.edu
To: 	David Van Horn <dvanhorn at ccs.neu.edu>, Greg Morrisett
<greg at eecs.harvard.edu>, Jeff Vaughan <jeff at cs.ucla.edu>, Stephen Chong
<chong at seas.harvard.edu>



Hey guys, hope this note finds you all well. Just wanted to bring to
your attention
that we will be publishing our paper on statically typed staged embedded
systems
programming, in HOSC. Here is the accepted (not yet copy edited) draft:

http://www.cems.uvm.edu/~skalka/skalka-pubs/liu-skalka-smith-hosc11submitted.pdf

I wanted to share this since I have discussed it with each of you on one
occasion or
another. Feel free to distribute.

Best regards,

-chris

-- 
Christian Skalka
Associate Professor
Department of Computer Science
University of Vermont
http://www.cs.uvm.edu/~skalka




More information about the PRL mailing list