[Prev][Next][Index][Thread]

Program: NACLP'89 Workshop on Types in Logic Programming



To: clp@cs.cmu.edu, clp.x@xerox.com, types@theory.LCS.MIT.EDU
Date: Mon, 02 Oct 89 10:37:55 EDT

Program: Special Workshop Session on
	 
		     "Types in Logic Programming"

on Friday, October 20 as part of NACLP'89 at Case Western Reserve
University in Cleveland, Ohio.

If you would like to attend this workshop or are interested in the
abstracts of the talks, send mail to Frank Pfenning <fp@cs.cmu.edu> on
the Internet.  Below is the tentative workshop schedule.

======================================================================
 9:00-9:30    Kimbal Marriott & Harald Sondergaard
	      Type Inference as Program Analysis

 9:30-10:00   Eyal Yardeni & Ehud Shapiro
	      A Type System for Logic Programs

10:00-10:30   Thom W. Fruehwirth
	      Type Checking with Subtypes in Prolog

  Break

10:45-11:15   Dale Miller & Gopalan Nadathur
	      The Polymorphic Typing of Lambda Prolog

11:15-11:45   Frank Pfenning & Ken Cline
	      Logic Programming and the Propositions-as-Types Principle

   Lunch

 1:00-1:30    Nevin Heintze & Joxan Jaffar
	      Elementary Types in Logic Programming

 1:30-2:00    Uday Reddy
	      Regular Tree Types: Pros and Cons

 2:00-2:30    Joe Zachary
	      Type = Sort + Mode

   Break

 2:45-3:15    Roger Nasr
	      LIFE's Types

 3:15-3:45    Dean Jacobs
	      Combining Liberal and Conservative Types for Logic Programming
======================================================================