Article View: comp.lang.prolog
Article #1888Looking for papers by Mike Kieffer of SUNY
From: Russell Turpin
Date: Wed, 06 Mar 1991 22:52
Date: Wed, 06 Mar 1991 22:52
11 lines
762 bytes
762 bytes
----- I am looking for papers on the intersection of logic programming and object-oriented programming. (Most of the ones of which I am aware concern equational theories and moving algebraic type definitions into logic languages.) Someone suggested that I look at some work by Mike Kieffer (sp?) of SUNY. Unfortunately, I don't have a specific reference. Can anyone out there fill me in? Russell
Technical Details
Message-ID:
<18345@cs.utexas.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!turpinShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!turpin From: turpin@cs.utexas.edu (Russell Turpin) Newsgroups: comp.lang.prolog,sci.logic Subject: Looking for papers by Mike Kieffer of SUNY Message-ID: <18345@cs.utexas.edu> Date: 6 Mar 91 22:52:50 GMT Followup-To: poster Organization: UTexas CS Dept, Austin, Texas Lines: 10