Login / Signup
Ricardo Peña
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 6
Top Topics
Recursive Programs
Functional Language
Intermediate Representation
Abstract Interpretation
Top Venues
Sci. Comput. Program.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
ACM Trans. Comput. Log.
Comput. Lang. Syst. Struct.
</>
Publications
</>