Undigested Material

This actually resembles the original trash page, as it was before the third pile started to accumulate links to fridge cameras, porn shops, DADA servers, fringe cultists, and just about everything else under the WWWeb.

Pile Zero

The first section points to machine-readable technical reports, or archieves of such. A ``technical report'' is something someone might want to cite. This pile also contains links to projects and people.
Havlak's thesis on "Interprocedural Symbolic Analysis". Is there a thesis server yet? Hey, maybe placing a thesis postscript files on such a server suffices for the "publications" requirements!
If you are into this sort of thing, you may be interested in:

"Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity" by Paul Hudak and Mark P. Jones,

Available via anonymous ftp as:
ftp://nebula.cs.yale.edu/pub/yale-fp/papers/NSWC/jfp.ps

From: hbaker@netcom.com (Henry G. Baker)
Subject: Paper on Stack Machines available in WWW hypertext format
Organization: nil
Date: 22 Dec 1994 20:45:10 MET

My paper, "Linear Logic and Permutation Stacks--The Forth Shall Be
First", from ACM Computer Architecture News 22, 1 (March 1994), 34-43,
is now available on the net in WWW hypertext (html) format at

ftp://ftp.netcom.com/pub/hb/hbaker/ForthStack.html

Some topics addressed:

* Linear objects and stack architectures (of a particular type) are
an excellent match

* How to compile Lisp w/closures into Postscript (or Forth)

* How the Y combinator can be used to implement recursion; the Y
combinator in Postscript!

* Large bibliography on stack architectures
Oxford logic programming page Haven't been able to get a local copy yet.

Oxford hardware compilation group

Glasgow functional programming page
Functional programm resources
Declarative programming of Parallel Systems (PDP) at kth.se
John Bowen's safety critical systems page
Prof. Dr. Alois Knoll's Group's Home Page
High Performance Computing and Software Laboratory
University of Texas at San Antonio San Antonio, Texas 78249
The Technical Reports of the Mathematics and Computer Science Department of the University of Mannheim (Germany) may be found

on the following WWW site.

The homepage of Jeffrey Mark Siskind, author of Stalin.

Topics of the TRs are mainly Computer Networks (Multimedia Systems, Formal Description Techniques) and Databases.

Informations (photo, description, biblio, ...) about MaRS, a parallel reduction machine for functional languages are available at URL:
(08.03.95) This gives me a chance to shamelessly plug a paper I've written (:-), but I think it has a helpful introductory explanation of currying. (forgive the HTML, but it tells you how to get it).

Gary T. Leavens. A Physical Example for Teaching Curried Functions. Department of Computer Science, Iowa State University, TR #95-05, March 1995.

This is something I posted to this newsgroup a year or so ago, and so a summary might be in an archive of this group too. Gary Leavens 

(On the off chance that anyone feels the need to find out what REXX is,
please see my WWW page named below).

Ian Collier - Departmental Lecturer (and perpetual postgrad student) -
imc@comlab.ox.ac.uk - Oxford University Computing Laboratory, Wolfson
Building, Parks Road, Oxford OX1 3QD - WWW Home Page:
http://www.comlab.ox.ac.uk/oucl/users/ian.collier/index.html
>> >my 4stack research VLIW processor has a 64 bit instruction
>> >with 4 ALU and 2 Memory operations - would need up to 192 bits
>> >on a typical RISC).
>>
>> Is a description of your machine available?
>
>Yes, there's a TeX/Postscript document; I'm on the way to build a
>HTML-homepage, so when it's ready, you can upload the description.
>Before that, I can e-mail on demand.

I've a small, but "working" WWW-homepage now, look at the signature below. The document will be on line readable, save it from Ghostview it you want to keep it for longer.

Bernd Paysan
"Late answers are wrong answers!"
My Homepage 

[1] Information on the GRASP, AQUA, and Flare projects:
    ftp.dcs.glasgow.ac.uk:/pub/glasgow-fp/grasp-and-aqua-docs/
    /pub/flare/

[2] "Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software
     Prototyping Productivity" by Paul Hudak and Mark P. Jones,
     available via anonymous ftp from:
    nebula.cs.yale.edu:/pub/yale-fp/papers/NSWC/jfp.ps

[3] The comp.lang.functional FAQ:
    http://www.cs.nott.ac.uk/Department/Staff/mpj/faq.html
>Try src.doc.ic.ac.uk:/computing/systems/languages/gofer -- it's a
>mirror of the Glasgow Gofer site.

I think you meant to write:
src.doc.ic.ac.uk:/computing/programming/languages/gofer
^^^^^^^^^^^
In any case, my own recommendation would be to look on the ftp
archives here at Nottingham, Gofer's new home:

ftp.cs.nott.ac.uk pub/nott-fp/languages/gofer
(also accessible as pub/haskell/gofer)

This version of Gofer is a little more up to date than the one at
Imperial; version 2.30a rather than 2.30.

Mirrors of other Haskell sites' distributions are also available here
in pub/haskell. Of course, these may not be as up to date or as
complete as the versions at the original home site. If you prefer
Web access, try:

http://www.cs.nott.ac.uk/Research/fpg/index.html

	The Functional Treatment of Parsing, by Rene Leermakers,
	Kluwer Academic Publishers, 1993.
Chapters include:
	1 Context-free Grammars
	2 Bunch notation
	3 Grammar Interpretations
	4 Recursive Decent
	5 grammar Transformations
	6 Recursive Ascent
	7 Parse Forest
	8 Attribute Grammars
	9 LR Parsers
	10 Some Notes
The first is "Implementing Cordics..." from Dr. Dobbs Journel, Oct. 1990. CORDICS can be used to compute forward and inverse trig and hyperbolic functions. That version is called circular CORDICS. There is also a linear version which can be used to multiply and divide. The circular functions require tables but the linear functions are done with add/sub and shift instructions. The second is "Higher Radix Division Using Estimates of the Divisor and Partial Remainders" by D. E. Atkins in IEEE Trans on Comp., Vol. C.17, No. 10, Oct 1968 pages 925-934.
The Fudgets library is a Graphical User Interface toolkit for the
functional language Haskell and X Windows. The latest version of
the Fudget library is available by anonymous ftp:

Host: ftp.cs.chalmers.se
Directory: /pub/users/hallgren/
File: fudgets-h*.tar.gz

(You also need the Chalmers Haskell compiler, which is available on
the same host in the directory /pub/haskell/chalmers/.)

Further information can be found via WWW on the Fudgets Home Page, URL

http://www.cs.chalmers.se/Fudgets/


--
Thomas Hallgren
hallgren@cs.chalmers.se
URL: http://www.cs.chalmers.se/~hallgren/
Here's an abstract of a talk for the "University of Wisconsin Computer Sciences 1994 Distinguished Lecture Series" by Peter Lee of CMU. There's some other interesting looking lectures in this series, at
http://www.cs.wisc.edu/~larus/dist_lect.html.
Been there, seen it. It would be nice if there were more in-depth stuff, e.g. pointers to literature or protocols.
the following references to the various sigplan conference home pages
are currently on www:

Programming Language Design and Implementation
"http://www.cs.Princeton.edu:80/pldi95/",PLDI 95

Principles and Practice of Parallel Programming
"http://www.cs.ucsb.edu/Conferences/PPOPP95/",PPOPP 95

Partial Evaluation and Semantics Based Program Manipulation
"http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/user/wls/www/pepm95/pepm95.html",
PEPM 95

Principles of Programming Languages
"http:http://www.cs.wustl.edu/~cytron/popl95.html",
POPL 95

Functional Programming and Computer Architecure
"ftp://ftp.dcs.glasgow.ac.uk/pub/fpca95/fpca95.html",FPCA 95
The UltraSPARC whitepapers I promised recently :-) have finally arrived. They are at:

http://www.sun.com/stb/Processors/UltraSPARC/UltraSPARCMain.html

The Unicode Worldwide Web home page is now available for general use. Although its construction is ongoing, it now contains a variety of useful data on the Unicode Standard and the Unicode Consortium.

You may access it at the following URL:

http://unicode.org/

The above URL is currently redirected to

http://www.stonehand.com/unicode.html

where the physical Unicode Web database presently resides. You should use the first of the above URLs since the physical location of this database may change over time. However, if for some reason the former cannot be accessed, you may also try the latter.

If you would like to contribute information to the Unicode home page, or if you have any comments on it, please send mail to webmaster@unicode.org.

The HTML data which comprises the Unicode Web database has been fully validated against the HTML 2.0 DTD. In only one case have non-standard extensions been used: that is with the two images of the cover of the Unicode Standard, Version 1.0, Volumes 1 and 2 which appear on the "About The Unicode Standard" page. In this case, the proposed attributes BORDER, WIDTH, and HEIGHT have been used in order to make use of capabilities provided by the Netscape Navigator(tm) of Mosaic Communications Corporation.

For those who aren't aware of it, The Unicode Consortium is primarily a volunteer organization. The effort to create this Web database has been made on that basis. As a result, not every piece of useful information about Unicode is currently present in this database. However, I do anticipate that additions will be made gradually as I find more time (and as others step forward to contribute). In order to help you find new information, a "What's New?" topic is available on the home page which will point you to recently changed or new information.

I hope you find this information useful, and I'd like to thank all of the individuals who contributed their time to review it during its preliminary stages of construction.

Happy Holidays!

Glenn Adams Technical Director, Unicode Consortium

Pile One

The first section points to unfinished pages that I have abandoned in different states of completion. Some of these might be useful or interesting, others are just project outlines or things-to-do.
The Basic Semantics for Computer Arithmetic paper, which is in the writing.
The seven myths of formal methods is just a html'ed piece of mail. I plan to get the actual documents and put them behind the links for local consumption. I have cursorially glanced upon a copy of the original "seven myths" paper (which is part of a whole IEEE software issue on formal methods; quite worthwhile to look into!); nothing earth-shaking in there.

A page on Single Assignment Languages. This is foremost a place to deposit all the TRs on SILAGE, SIGNAL, LUSTRE, and what their names are, together with a decent subtree on related intermediate data flow representations (DFSGs, CDFGs) and their ilk. I plan to do a re-read on all these reports, to better understand the real differences between their approaches (if there are any ;-). All this of course relates to the emerging work on AL-2.

Pile Two

This section contains links to copied pages from all over the world. I do not regularly maintain these copies (this is amongst other reasons a tribute to the bad connectivity of the TUB ;-); links to the originals are therefore put next to the copies. The copied documents may contain relative links that don't work from here; I am too lazy to really care about it (If there is a script or tool available to maintain copies and/or correct links, I am willing to hear about it!).

A collection of Larry Wall quotes, nearly all Perl-related (what did you expect?). Typical examples of language-designer and -implementor humor. No need to fetch them (if you are reading this locally), there exists a local copy fetched on Nov 12, 1994.

Pile Three

This section is a partially annotated cold-list. Whenever I stumble over a link that might be of interest, I put it here. Whenever I have time, I actually look at the pages behind the links, rearrange the list or prune it. Some entries might point into the void or to long-dead servers or documents. So what?

"Parsing Techniques - A Practical Guide"
microprocessor instruction set cards
The German-English/English-German dictionary from Langenscheidt's is available using the following: English-German Dictionary and German-English Dictionary. 
Lingsoft präsentiert:

                               GERTWOL

            Morphologisches Analysesystem für das Deutsche

                http://www.lingsoft.fi/cgi-pub/gertwol
;-)
who has been using these pages?
Myths about Usenet newbee primer, mostly about advertising in the News
Auskunft Bundesbahn-Verbindungen (Mailserver, antwortet 1-mal täglich)
California Surf
here be icons
kaleidospace
Shoemaker/Levy Home Page at JPL
Blackwell Publishers (Oxford, UK and Cambridge, MA)
UEA, Norwich, will host the 6th International Workshop on the Implementation of Functional Languages. This workshop aims to bring together researchers actively engaged in the implementation and application of functional languages to discuss new results and new directions of research.
The Esprit Information Day Invitation has been published on the WWW server:

http://www.ecrc.de/

There are several other documents here relating to the Commissions IT programme. The full workprogramme and other documents related to the Call for Proposals will be published here as soon as they are available.

This is a joint venture between the Commission and ECRC.

(19.04.95) The Loebner contest for artificial intelligence and one of the contestants, Julia (a Chatterbot).
This page is part of the Trash Heap.