Eelco Visser
Technische Universiteit Delft
H-index: 52
Europe-Netherlands
Top articles of Eelco Visser
Stateful entities: object-oriented cloud applications as distributed dataflows
2024
Taming complexity of industrial printing systems using a constraint‐based DSL: An industrial experience report
Software: Practice and Experience
2023/10
Incremental Type Checking for Free
Delft University of Technology
2022/12/8
Hendrik Van Antwerpen
H-Index: 3
Eelco Visser
H-Index: 27
Incremental type-checking for free: Using scope graphs to derive incremental type-checkers
Proceedings of the ACM on Programming Languages
2022/10/31
Hendrik Van Antwerpen
H-Index: 3
Eelco Visser
H-Index: 27
Intrinsically-typed definitional interpreters à la carte
Proceedings of the ACM on Programming Languages
2022/10/31
Casper Bach Poulsen
H-Index: 8
Eelco Visser
H-Index: 27
Language-parametric static semantic code completion
Proceedings of the ACM on Programming Languages
2022/4/29
Safe-by-design in engineering: An overview and comparative analysis of engineering disciplines
2021/6/11
Intrinsically typed compilation with nameless labels
2021
Robbert Krebbers
H-Index: 16
Eelco Visser
H-Index: 27
Configuration space exploration for digital printing systems
2021
Jasper Denkers
H-Index: 2
Eelco Visser
H-Index: 27
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
2021
Hendrik Van Antwerpen
H-Index: 3
Eelco Visser
H-Index: 27
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications
Proceedings of the ACM on Programming Languages
2020/11/13
Hendrik Van Antwerpen
H-Index: 3
Casper Bach Poulsen
H-Index: 8
Robbert Krebbers
H-Index: 16
Eelco Visser
H-Index: 27
Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering
9th International Workshop on Confluence
2020/6/30
Eelco Visser
H-Index: 27
Flowspec: A declarative specification language for intra-procedural flow-sensitive data-flow analysis
Journal of Computer Languages
2020/4/1
Jeff Smits
H-Index: 2
Eelco Visser
H-Index: 27
Evolution of the WebDSL runtime: reliability engineering of the WebDSL web programming language
2020/3/23
Eelco Visser
H-Index: 27
Intrinsically-typed definitional interpreters for linear, session-typed languages
2020/1/20
Evolution of the WebDSL Runtime
2020
Eelco Visser
H-Index: 27
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
arXiv preprint arXiv:2002.06183
2020/2/14
Jeff Smits
H-Index: 2
Eelco Visser
H-Index: 27