new group memo

Subject: new group memo
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Tue Apr 17 2001 - 17:58:40 PDT

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Vassily Litvinov: "matching vs. F-bounded"
• Previous message: Craig Chambers: "testing"

I put a copy of my work that I did last fall at INRIA as a group memo. In
it I prove soundness of a simplified hybrid between my type system and EML.

See
        /projects/cecil/group-memos/39.cecileml-soundness.ps

Vass

_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil

• Next message: Vassily Litvinov: "matching vs. F-bounded"
• Previous message: Craig Chambers: "testing"

This archive was generated by hypermail 2b25 : Tue Apr 17 2001 - 17:59:04 PDT