Relational Parametricity and Control
Relational Parametricity for Computational Effects
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry
Removing Redundant Arguments Automatically
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
Representation Sharing for Prolog
Resource Control for Synchronous Cooperative Threads
Resource control of object-oriented programs
Resource Usage Analysis for the Pi-Calculus
Resumption-based big-step and small-step interpreters for While with interactive I/O
Rewriting Logic Semantics of a Plan Execution Language
Rfuzzy framework
Roles Are Really Great!
RPO, Second-order Contexts, and Lambda-calculus