[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
======================================================================