From: dale@saul.cis.upenn.edu (Dale Miller)
Newsgroups: comp.lang.prolog
Subject: lambda Prolog Workshop Proceedings
Date: 23 Jan 93 15:37:36 GMT
Organization: University of Pennsylvania

The Proceedings of the Workshop on lambda Prolog, which was held the
summer of 1992 at the University of Pennsylvania, is available as a
Penn technical report and electronically. 

If you are interested in receiving a hard copy of the proceedings,
send mail to Billie Holland (holland@central.cis.upenn.edu) to find
out how to order it (price is approx $18).

These proceedings are also available in electronically form from
ftp.cis.upenn.edu in the directory ~/pub/lprolog/Proceedings92.  Below
is the README file in that directory.

		  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
	   Contributed Papers to the lambda Prolog Workshop


Below are listed the titles, authors, affiliations, and file names in
which papers can be found within the directory
~/pub/lprolog/Proceedings92 on ftp.cis.upenn.edu.  All files are
compressed using the Unix compress utility.  All papers are DVI files
except for one with is a postscript (PS) file.  Remember to use binary
mode in ftp when copying these files.


Model Theoretical Semantics for Higher-Order Horn Clause Programming
Mino Bai, Syracuse University, NY, USA
Bai.dvi.Z

The Architecture of an Implementation of lambda Prolog: Prolog/Mali 
Pascal Brisset and Olivier Ridoux, IRISA/INRIA, France
BrissetRidoux.dvi.Z

Higher-Order Substitutions
Dominic Duggan, University of Waterloo, ONT, Canada
Duggan.dvi.Z

Defining object-level parsers in lambda Prolog
Amy Felty, AT\&T Bell Labs, NJ, USA
Felty.dvi.Z

A Deductive Database View of Embedded Implications
Burkhard Freitag, Technical University of Munich, Germany
Freitag.dvi.Z

From Context-Free to Definite-Clause Grammars
Juergen Haas and Bharat Jayaraman, University of Buffula, NY, USA
HaasJayaraman.dvi.Z

Generalization at Higher Types
Robert Hasker and Uday Reddy, University of Illinois, IL, USA
HaskerReddy.dvi.Z

Implementing Higher-Order Algebraic Specifications
Jan Heering, CWI, Amsterdam, The Netherlands
Heering.dvi.Z

Lolli: An Extension to lambda Prolog with Linear Logic Context Management
Joshua Hodas, University of Pennsylvania, PA, USA
Hodas.dvi.Z

Some Kind of Magic for (a Restriction of) L-lambda
Alain Hui Bon Hoa, INRIA Rocquencourt, France
HuiBonHoa.dvi.Z

An Instruction Set for Higher-Order Hereditary Harrop Formulas 
Keehang Kwon and Gopalan Nadathur, Duke University, NC, USA
KwonNadathur.dvi.Z

Implementing the Module Construct in lambda Prolog
Keehang Kwon, Gopalan Nadathur, and Debra Sue Wilson, Duke University, NC, USA
KwonNadathurWilson.dvi.Z

lambda Prolog Implementation Of Ripple-Rewritting
Chuck Liang, University of Pennsylvania, PA, USA
Liang.dvi.Z

Searching for Inductive Proofs in Second-Order Intuitionistic Logic 
L. Thorne McCarty, Rutgers University, NJ, USA
McCarty.ps.Z

An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs
Spiro Michaylov and Frank Pfenning, Carnegie Mellon Univ., PA, USA
MichaylovPfenning.dvi.Z

A Proposal for Modules in lambda Prolog
Dale Miller, University of Pennsylvania, PA, USA
Miller.dvi.Z


The file Cover.dvi.Z contains the original call for papers, a preface,
and the proceedings table of contents.
Xref: sparky comp.lang.prolog:2432 comp.lang.functional:1548 comp.specification:633