Open Access. Powered by Scholars. Published by Universities.®

Programming Languages and Compilers Commons™

Open Access. Powered by Scholars. Published by Universities.®

Selected Works

Paul Stansifer

Articles 1 - 2 of 2

Full-Text Articles in Programming Languages and Compilers

An Example Derivation For =R, Paul Stansifer, Mitchell Wand Dec 2013

An Example Derivation For =R, Paul Stansifer, Mitchell Wand

Paul Stansifer

This is intended to accompany Romeo: a system for more flexible binding-safe programming.

Go to article

Some Definitions And Proofs Regarding Romeo, Paul Stansifer, Mitchell Wand Dec 2013

Some Definitions And Proofs Regarding Romeo, Paul Stansifer, Mitchell Wand

Paul Stansifer

This is intended to accompany Romeo: a system for more flexible binding-safe programming.

Go to article