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.