Program: NACLP'89 Workshop on Types in Logic Programming 
Author Message
 Program: NACLP'89 Workshop on Types in Logic Programming

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

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



Wed, 17 Feb 1993 15:46:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. NACLP'89 Workshop on Logic Programming Environments

2. NACLP'89 Architecture Workshop

3. Advance Program: ILPS'91 Workshop on Parallel Execution of Logic Programs

4. Getting to NACLP'89 from Cleveland airport

5. NACLP'89

6. Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

7. META88 -- Workshop on Meta-Programming in Logic Programming

8. CFP Logic Programming Environments and ICLP'99 workshop

9. ICLP'99 Workshop: Multi-Agent Systems in Logic Programming Final CFP

10. ICLP'99 Workshop: Verification in Logic Programming: CFP

11. CFP: ILPS'95 Workshop on Constraints, Databases and Logic Programming

12. Final CFP ILPS'95 Workshop: Constraints, Databases, Logic Programming

 

 
Powered by phpBB® Forum Software