Computing with Coercions

13 years 5 months ago

Download seclab.uiuc.edu

d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple

Val Tannen, Carl A. Gunter, Andre Scedrov

Real-time Traffic

LFP 1990 | Operational Semantics | Pennsylvania This Paper | Scedrov University |

claim paper

» Modeling Inheritance as Coercion in the Kenzo System

» Simulation Coercion Applied to Multiagent DDDAS

» Using Commutativity Properties for Controlling Coercions

» Coercion and Compositionality

» Community consensus coercion control csw or how policy mediates mass participation

» Bingo Voting Secure and CoercionFree Voting Using a Trusted Random Number Generator

» Termination Casts A Flexible Approach to Termination with General Recursion

» Harnessing MLF with the Power of System F

Post Info
More Details (n/a)

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	1990
Where	LFP
Authors	Val Tannen, Carl A. Gunter, Andre Scedrov

Comments (0)

Sciweavers

Computing with Coercions

LFP 1990 | Operational Semantics | Pennsylvania This Paper | Scedrov University |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers