Arjen Rouvoet - Concepedia

Author

Arjen Rouvoet

Also Known As

Arjen Rouvoet, Rouvoet, A.J., Rouvoet, A.J. (author), Rouvoet, Arjen

Publications

137

Citations

H-Index

Concepts

All Affiliations

Arjen Rouvoet is an author at Delft University of Technology specializing in automated reasoning, formal verification, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	101
2	Computer Science	3	3	101
3	Linguistics	2	2	70
4	Language Studies	1	1	43
5	Compilers	1	1	43

Arjen Rouvoet

Publications

113

Citations

H-Index

Page 1

	Year	Citations
Intrinsically-typed definitional interpreters for imperative languages Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Proceedings of the ACM on Programming Languages EngineeringSoftware SystemsVerificationObject LanguageInterpreter (Computing)	2017	43
Scopes as types Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Proceedings of the ACM on Programming Languages EngineeringGeneric ProgrammingAutomated ReasoningProgram AnalysisScope Graphs	2018	31
Intrinsically-typed definitional interpreters for linear, session-typed languages Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Linear Lambda CalculiEngineeringVerificationSoftware EngineeringSession-typed Languages	2020	27
Intrinsically-typed definitional interpreters à la carte Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Proceedings of the ACM on Programming Languages	2022	12

Page 1