Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov

First Page		Document Content
Date: 2007-12-01 03:56:46 Mathematics Ordinary differential equations Spectral theory Mathematical analysis Spectral theory of ordinary differential equations Curry–Howard correspondence Symbol De Bruijn index Valuation		Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Download Document from Source Website File Size: 210,32 KB Share Document on Facebook