TA

T.V. Aerts

Authored

2 records found

Incrementalizing Statix

A Modular and Incremental Approach for Type Checking and Name Binding using Scope Graphs

Statix is a language which generates a type checker from a declarative specification. However, Statix is not fast enough for quick feedback in IDEs because it always has to reanalyze all files. In this thesis, we improve the analysis time of Statix by applying the ideas of separa ...

Native WebLab

Safe Execution of Native Code in WebLab

WebLab is a system where students can write and test code using an online interface. Course coordinators can create assignments and exams, where they can define automated tests to verify that the student code meets requirements. As WebLab only offered support for programming lang ...

Contributed

1 records found

FireFly Dating

Bachelor End Project

The FireFly company was created on the idea of blind dating. Most dating apps need the user to have an extensive conversation through a chat box before settling for a date. The product of FireFly tries to remedy that by having the first conversation be face to face. Over ten week ...