Scopes as types - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. Scopes as types. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]

The following publications are possibly variants of this publication:

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. darts, 2(1), 2016. [doi]

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.

A constraint language for static semantic analysis based on scope graphsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. PEPM 2016: 49-60 [doi]
A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-009, 2015.
A Constraint-based Approach to Name Binding and Type Checking using Scope GraphsHendrik van Antwerpen. Master's thesis, Delft University of Technology, January 2016.
A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-012, 2015.

The following are duplicate records for the exact same publication:

Scopes As TypesHendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. Proc. ACM Program. Lang., 2(OOPSLA), oct 2018. [doi]

runs on WebDSL