@inproceedings{2017FabULousIF, title={FabULous Interoperability for ML and a Linear Language Supplementary Material ANONYMOUS FOR SUBMISSION}, author={}, year={2017} }

- Published 2017

If dom(γ 1) = Γ1, dom(γ 2) = Γ2, and Γ = Γ1 Γ2, then γ 1 γ 2 is de ned when for any variable x ∈ Γ1 ∩ Γ2, γ 1 (x ) = γ 2 (x ) and is de ned as γ (x ) = γ 1 (x ) if x ∈ Γ1 and γ (x ) = γ 2 (x ) if x ∈ Γ2. (R,σ1,σ2) is well formed if σ1,σ2 are closed types and R ∈ Rel[σ1,σ2]. The relationsV JρKj , E JρKj , . . . below are only de ned for closed relation types… CONTINUE READING

### Presentations referencing similar topics