Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Higher-Order Ghost State Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer ICFP 2016 in Nara, Japan Max Planck Institute for Software Systems (MPI-SWS), Aarhus University
Add to Reading List
Document Date: 2016-10-11 12:45:07
Open Document
File Size: 2,15 MB
Share Result on Facebook
Higher-Order Ghost State Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer ICFP 2016 in Nara, Japan Max Planck Institute for Software Systems (MPI-SWS), Aarhus University