Program certification with computational effects Burak Ekici˜ j.w.w. Jean-Guillaume Dumas˜ , Dominique Duval˜ , Damien Pousy ˜ LJK,

First Page		Document Content
		Program certification with computational effects Burak Ekici˜ j.w.w. Jean-Guillaume Dumas˜ , Dominique Duval˜ , Damien Pousy ˜ LJK, Add to Reading List Source URL: www.lifl.fr Download Document from Source Website File Size: 222,32 KB Share Document on Facebook