BU colloq/ March 3

• To: types@theory.LCS.MIT.EDU, theory-seminars@theory.LCS.MIT.EDU
• Subject: BU colloq/ March 3
• From: pam@bu-cs.bu.edu
• Date: Tue, 28 Feb 89 01:38:51 EST
• Sender: meyer@theory.LCS.MIT.EDU

Date:  Mon, 27 Feb 89 14:56:37 EST
To: colloq@bu-cs.bu.edu

                          BOSTON UNIVERSITY
                        Computer Science Dept.
                          111 Cummington St.

                            March 3, 1989
                               4:00 PM

	      SOME COMPARATIVE ANATOMY OF TYPE DISCIPLINES

			   Val Breazu-Tannen
		       University of Pennsylvania

    The type disciplines living in the "forest of typed lambda calculi"
    find themselves in natural containment relationships. We regard a
    richer type discipline as introducing a new programming language
    feature, for example, explicit polymorphism in the case of the
    Girard-Reynolds calculus. How do these new features interact with the
    ones expressible in a less complex type discipline?

    This question can be formalized through results about the
    relationships (such as conservative extension) between equational
    theories. We survey several results of this kind.

    Another way to formalize this question is through results about
    the relationships between rewrite systems. Jean Gallier will
    talk about such results in one of the future meetings of this
    seminar.

DATE:   March 3, 1989
TIME:   4:00 PM
PLACE:  111 Cummington St., Room 135

• Prev: LOGIC MEETING UPDATE
• Next: LICS-89
• Index(es):
  • Main
  • Thread