2 ms·
The first chapter of Dreyer's thesis "Understanding and Evolving the ML Module System" (http://www.mpi-sws.org/~dreyer/thesis/main.pdf http://www.mpi-sws.org/~d
by manu3000 12y ago
The first chapter of Dreyer's thesis "Understanding and Evolving the ML Module System" (http://www.mpi-sws.org/~dreyer/thesis/main.pdf http://www.mpi-sws.org/~dreyer/thesis/main.pdf) talks about generativity