Login / Signup
Bram Schuur
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Databases
Type Checking
Transformation Rules
Formal Semantics
Top Venues
PEPM
Sci. Comput. Program.
</>
Publications
</>
Sean Leather
,
Johan Jeuring
,
Andres Löh
,
Bram Schuur
Type-changing rewriting and semantics-preserving transformation.
Sci. Comput. Program.
112 (2015)
Sean Leather
,
Johan Jeuring
,
Andres Löh
,
Bram Schuur
Type-changing rewriting and semantics-preserving transformation.
PEPM
(2014)