home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / prolog / 2430 < prev    next >
Encoding:
Internet Message Format  |  1993-01-24  |  3.4 KB
  1. Path: sparky!uunet!spool.mu.edu!yale.edu!newsserver.jvnc.net!netnews.upenn.edu!saul.cis.upenn.edu
  2. From: dale@saul.cis.upenn.edu (Dale Miller)
  3. Newsgroups: comp.lang.prolog
  4. Subject: lambda Prolog Workshop Proceedings
  5. Message-ID: <106282@netnews.upenn.edu>
  6. Date: 23 Jan 93 15:37:36 GMT
  7. Sender: news@netnews.upenn.edu
  8. Organization: University of Pennsylvania
  9. Lines: 91
  10. Nntp-Posting-Host: saul.cis.upenn.edu
  11.  
  12. The Proceedings of the Workshop on lambda Prolog, which was held the
  13. summer of 1992 at the University of Pennsylvania, is available as a
  14. Penn technical report and electronically. 
  15.  
  16. If you are interested in receiving a hard copy of the proceedings,
  17. send mail to Billie Holland (holland@central.cis.upenn.edu) to find
  18. out how to order it (price is approx $18).
  19.  
  20. These proceedings are also available in electronically form from
  21. ftp.cis.upenn.edu in the directory ~/pub/lprolog/Proceedings92.  Below
  22. is the README file in that directory.
  23.  
  24.           +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  25.        Contributed Papers to the lambda Prolog Workshop
  26.  
  27.  
  28. Below are listed the titles, authors, affiliations, and file names in
  29. which papers can be found within the directory
  30. ~/pub/lprolog/Proceedings92 on ftp.cis.upenn.edu.  All files are
  31. compressed using the Unix compress utility.  All papers are DVI files
  32. except for one with is a postscript (PS) file.  Remember to use binary
  33. mode in ftp when copying these files.
  34.  
  35.  
  36. Model Theoretical Semantics for Higher-Order Horn Clause Programming
  37. Mino Bai, Syracuse University, NY, USA
  38. Bai.dvi.Z
  39.  
  40. The Architecture of an Implementation of lambda Prolog: Prolog/Mali 
  41. Pascal Brisset and Olivier Ridoux, IRISA/INRIA, France
  42. BrissetRidoux.dvi.Z
  43.  
  44. Higher-Order Substitutions
  45. Dominic Duggan, University of Waterloo, ONT, Canada
  46. Duggan.dvi.Z
  47.  
  48. Defining object-level parsers in lambda Prolog
  49. Amy Felty, AT\&T Bell Labs, NJ, USA
  50. Felty.dvi.Z
  51.  
  52. A Deductive Database View of Embedded Implications
  53. Burkhard Freitag, Technical University of Munich, Germany
  54. Freitag.dvi.Z
  55.  
  56. From Context-Free to Definite-Clause Grammars
  57. Juergen Haas and Bharat Jayaraman, University of Buffula, NY, USA
  58. HaasJayaraman.dvi.Z
  59.  
  60. Generalization at Higher Types
  61. Robert Hasker and Uday Reddy, University of Illinois, IL, USA
  62. HaskerReddy.dvi.Z
  63.  
  64. Implementing Higher-Order Algebraic Specifications
  65. Jan Heering, CWI, Amsterdam, The Netherlands
  66. Heering.dvi.Z
  67.  
  68. Lolli: An Extension to lambda Prolog with Linear Logic Context Management
  69. Joshua Hodas, University of Pennsylvania, PA, USA
  70. Hodas.dvi.Z
  71.  
  72. Some Kind of Magic for (a Restriction of) L-lambda
  73. Alain Hui Bon Hoa, INRIA Rocquencourt, France
  74. HuiBonHoa.dvi.Z
  75.  
  76. An Instruction Set for Higher-Order Hereditary Harrop Formulas 
  77. Keehang Kwon and Gopalan Nadathur, Duke University, NC, USA
  78. KwonNadathur.dvi.Z
  79.  
  80. Implementing the Module Construct in lambda Prolog
  81. Keehang Kwon, Gopalan Nadathur, and Debra Sue Wilson, Duke University, NC, USA
  82. KwonNadathurWilson.dvi.Z
  83.  
  84. lambda Prolog Implementation Of Ripple-Rewritting
  85. Chuck Liang, University of Pennsylvania, PA, USA
  86. Liang.dvi.Z
  87.  
  88. Searching for Inductive Proofs in Second-Order Intuitionistic Logic 
  89. L. Thorne McCarty, Rutgers University, NJ, USA
  90. McCarty.ps.Z
  91.  
  92. An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs
  93. Spiro Michaylov and Frank Pfenning, Carnegie Mellon Univ., PA, USA
  94. MichaylovPfenning.dvi.Z
  95.  
  96. A Proposal for Modules in lambda Prolog
  97. Dale Miller, University of Pennsylvania, PA, USA
  98. Miller.dvi.Z
  99.  
  100.  
  101. The file Cover.dvi.Z contains the original call for papers, a preface,
  102. and the proceedings table of contents.
  103.