Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!Germany.EU.net!Munich.Germany.EU.net!ecrc!acrab60!thom
From: thom@ecrc.de (Thom Fruehwirth)
Subject: Re: meta-programming, strong typing, and m
Message-ID: <D0C8w5.4BM@ecrc.de>
Sender: news@ecrc.de
Reply-To: thom@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
References: <THOMASL.94Dec1134811@arnold.csd.uu.se>
Date: Mon, 5 Dec 1994 12:48:03 GMT
Lines: 8

I good starting point for everybody interested in the topic is
the following collection of papers:

"Types in Logic Programming" 
Frank Pfenning (Ed.), MIT Press, 1994.

thom

