Articles with public access mandates - Eelco VisserLearn more
Available somewhere: 28
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
Mandates: Netherlands Organisation for Scientific Research
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
Mandates: Netherlands Organisation for Scientific Research
Intrinsically-typed definitional interpreters for linear, session-typed languages
A Rouvoet, C Bach Poulsen, R Krebbers, E Visser
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
Mandates: Netherlands Organisation for Scientific Research
Scalable incremental building with dynamic task dependencies
G Konat, S Erdweg, E Visser
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
Mandates: Netherlands Organisation for Scientific Research
Safe-by-design in engineering: An overview and comparative analysis of engineering disciplines
P van Gelder, P Klaassen, B Taebi, B Walhout, R van Ommen, ...
International Journal of Environmental Research and Public Health 18 (12), 6329, 2021
Mandates: Netherlands Organisation for Scientific Research, European Commission
IceDust: Incremental and eventual computation of derived values in persistent object graphs
DC Harkes, DM Groenewegen, E Visser
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
Mandates: Netherlands Organisation for Scientific Research
Principled Syntactic Code Completion using Placeholders
LES Amorim, S Erdweg, G Wachsmuth, E Visser
Software Language Engineering (SLE), 2016
Mandates: Netherlands Organisation for Scientific Research
FlowSpec: declarative dataflow analysis specification
J Smits, E Visser
Proceedings of the 10th ACM SIGPLAN International Conference on Software …, 2017
Mandates: Netherlands Organisation for Scientific Research
Scopes describe frames: A uniform model for memory layout in dynamic semantics
CB Poulsen, P Néron, A Tolmach, E Visser
ECOOP 2016: 30th European Conference on Object-Oriented Programming, 1-26, 2016
Mandates: Netherlands Organisation for Scientific Research
A search for time dependent neutrino emission from microquasars with the ANTARES telescope
S Adrián-Martínez, A Albert, M André, M Anghinolfi, G Anton, M Ardid, ...
Journal of High Energy Astrophysics 3, 9-17, 2014
Mandates: European Commission, Government of Spain, Government of Italy
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
Mandates: Netherlands Organisation for Scientific Research
Icedust 2: Derived bidirectional relations and calculation strategy composition
DC Harkes, E Visser
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
Mandates: Netherlands Organisation for Scientific Research
Intrinsically-typed definitional interpreters à la carte
C van der Rest, CB Poulsen, A Rouvoet, E Visser, P Mosses
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1903-1932, 2022
Mandates: Netherlands Organisation for Scientific Research
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
Mandates: Netherlands Organisation for Scientific Research
Intrinsically typed compilation with nameless labels
A Rouvoet, R Krebbers, E Visser
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
Mandates: Netherlands Organisation for Scientific Research
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
H van Antwerpen, E Visser
ECOOP, 2021
Mandates: Netherlands Organisation for Scientific Research
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages
LES Amorim, MJ Steindorfer, S Erdweg, E Visser
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
Mandates: Netherlands Organisation for Scientific Research
Specializing a meta-interpreter: JIT compilation of Dynsem specifications on the Graal VM
V Vergu, E Visser
Proceedings of the 15th International Conference on Managed Languages …, 2018
Mandates: Netherlands Organisation for Scientific Research
Scopes and frames improve meta-interpreter specialization
V Vergu, A Tolmach, E Visser
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
Mandates: Netherlands Organisation for Scientific Research
Migrating business logic to an incremental computing DSL: a case study
DC Harkes, E van Chastelet, E Visser
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
Mandates: Netherlands Organisation for Scientific Research
Publication and funding information is determined automatically by a computer program