FabULous Interoperability for ML and a Linear Language Supplementary Material ANONYMOUS FOR SUBMISSION

@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