Hendrik van Antwerpen
Hendrik van Antwerpen
Vahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
A constraint language for static semantic analysis based on scope graphs
H Antwerpen, P Néron, A Tolmach, E Visser, G Wachsmuth
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
432016
Scopes as types
H van Antwerpen, C Bach Poulsen, A Rouvoet, E Visser
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
222018
Dynamic data-driven experiments in the smart grid domain with a multi-agent platform
Z Genç, M Oey, H van Antwerpen, F Brazier
International Workshop on Multi-Agent Systems and Agent-Based Simulation …, 2015
52015
Towards language-parametric semantic editor services based on declarative type system specifications (Brave new idea paper)
DAA Pelsmaeker, H van Antwerpen, E Visser
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
42019
From definitional interpreter to symbolic executor
AD Mensing, H van Antwerpen, C Bach Poulsen, E Visser
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019
22019
Towards language-parametric semantic editor services based on declarative type system specifications
DAA Pelsmaeker, H van Antwerpen, E Visser
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on …, 2019
12019
A constraint language for static semantic analysis based on scope graphs with proofs
H van Antwerpen, P Néron, AP Tolmach, E Visser, G Wachsmuth
Technical Report TUD-SERG-2015-012, Software Engineering Research Group …, 2016
12016
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications
A Rouvoet, H van Antwerpen, C Bach Poulsen, R Krebbers, E Visser
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
2020
A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs
H Van Antwerpen
2016
Language-Independent Type-Dependent Name Resolution
H Van Antwerpen, P Neron, A Tolmach, E Visser, G Wachsmuth
Report TD-SERG-2015-006, 2015
2015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–10