(1 - 1 of 1)
- document
-
Bosma, Sander (author)When using an integrated development environment, it is desirable to get real-time feedback on the correctness of the program. That is, we want to see the results of the type checker in real-time. However, type checking can take a long time, especially when the subject program is large. To be able to provide real-time results, we need to...master thesis 2018