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

First Page	Meta Content
	Program certification with computational effects Burak Ekici˜ j.w.w. Jean-Guillaume Dumas˜ , Dominique Duval˜ , Damien Pousy ˜ LJK, Add to Reading List Open Document File Size: 222,32 KB Share Result on Facebook

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