Epilogue

James and I have submitted a paper to POPL ‘06, titled Phase Distinctions In The Compilation Of Epigram, all about how we can use an erasure semantics through the identification of compile-time only values.
I’ve also added the sources to CVS. Enjoy…

This entry was posted on Tuesday, July 19th, 2005 at 3:14 pm and is filed under General. You can follow any responses to this entry through the RSS 2.0 feed. You can skip to the end and leave a response. Pinging is currently not allowed.