To avoid spam, all mail addresses on this page have the "@" replaced by "#".
Pearson Education, Full Catalogue
Algorithms: From Theory to Applications
algorithm group at INRIA (automated complexity analysis)
Sphere Online Judge (SPOJ)
Insplanet (försäkringar)
German-English Online DictionarySwedish-English & English-Swedish Online Dictionary (in Swedish)
Swedish-English dictionary for academic terms
Murray Cole: Algorithmic Skeletons: Structured Management of Parallel Computation
Foundations of Object-Oriented Programming Languages: Types and SemanticsTanenbaum, van Steen Distributed Systems: Principles and Paradigms
Monads for the Working Haskell Programmer -- a short tutorial
Directions in Functional Programming for Real(-Time) Applications
Programming language theory texts online
What Every Computer Scientist Should Know About Floating-Point Arithmetic
PrePRINT Alert Home Page for lisper
6th IST Call of 27 January 2001
Solaris PDASyncY. Atif: System Software support for distributed real-time systems
Practical Functional Programming course, and Haskore extended with GUI and "real time" control
Notes from "BUGS in Writing" by Lyn Dupre, Addison-Wesley, 1995. Review.
Institutt for informatikk, Univ. Bergen. SAGA.
Valutakurser - Swedish Exchange Rates
utkast forskarskola UU/MdH/KTH
Carl Tryggers stiftelse för vetenskaplig forskning
Norman Scaife: A Dual Source, Parallel Architecture for Computer Vision. PhD Thesis Herriot-Watt University.
Analysis and Transformation of Set-Theoretic Languages
DAC, Politecnic University of Catalonia (UPC), techreports
XSLT Working Draft, Practical Suggestion for XSLT Performance Improvement (XSLt is a functional programming language designed to process XML documents)
Jan Skibinski's Collection Datatype
Jan Skibinski's tutorial on Hawk
Jan Skibinski's Haskell Tensors
Gerald Luettgen, Michael von der Beeck, and Rance Cleaveland. Statecharts via Process Algebra. ICASE Report No. 99-42, NASA/CR-1999-209713.
Florin Dobrian, Gary Kumfert, and Alex Pothen. The Design of Sparse Direct Solvers using Object-Oriented Techniques. ICASE Report No. 99-38, NASA/CR-1999-209558.
State in Haskell, SL Peyton Jones and J Launchbury, Lisp and Symbolic Computation 8(4), Dec 1995, pp 293-341.
Norbert Klose's masters thesis (on packed list representations)
Christer Norströms realtidskompendium
Hans Hanssons realtidskompendium
Workshop on Algorithmic Aspects of Advanced Programming Languages - program and links to papers
Haskell Companion - Haskell tutorial
H.R. Nielson & F. Nielson: Semantics with Applications
Papers on Database Programming Languages at UPenn
Database tutorials from UPenn (Val Tannen, Peter Buneman)
A query language for multidimensional arrays: design, implementation, and optimization techniques
Leonid Libkin, Rona Machlin and Limsoon Wong
Pages 228-239
[Index Terms]
[Full Text in PDF Format, 1343 KB]
Luc, Meijer: On the Expressive Power of Constructor Classes.
The Barnes-Hut Method for the N-body Problem (challenging parallel algorithm)
ROPA "putting math on silicon"
Johan Wennlunds manual för att beställa tryckning från KTH-tryckeriet
Telefonnumer över hela världen
Installing Linux on HP Omnibook 800 (courtesy of Jon-Olov)
Forskarskolan i teknisk-vetenskapliga beräkningar
Meteosat-grunkor (websida Nottingham)
High-Level Management of Communication Schedules in HPF-Like Languages (ICASE Report No. 97-46)
Internet Protocol V. 6 (ska vara IPng?)
Stockholm-Uppsala-Linköping Programming Language Implementation Seminar Series, och intresselista.
Paul Hoogendijk and Roland Backhouse. When do datatypes commute
Papers TU Berlin (Opal etc)
Thomas H. Cormen & David M. Nicol: PERFORMING OUT-OF-CORE FFTS ON PARALLEL DISK SYSTEMS
IAR systems
Discrete Mathematics and Computer
Science
Lehrstuhl-Übersicht
Prof. Dr. C. Lengauer
Sven-Olof Nyström's home page
(author of the thesis "Denotational Semantics for Asynchronous Concurrent
Languages").
IEEE Computer
Information for Authors.
Web Link
Checkers, an additional one, and
MOMspider.
Mario Sudholt, "Data Distribution Algebras - A Formal Basis for
Programming Using Skeletons"
C. Barry Jay,
"Shape analysis for parallel computing"
NBA.
Ole-Johan Dahl and Olaf Owe: On the Use of Subtypes in ABEL.
Research report no 206. Dept of Informatics, Univ of Oslo, 1995.. A
pointer to their ABEL area.
David Sand's papers: on unfold-fold
transformations, A companion paper companion
paper looking at deforestation-like transformations, and
other stuff.
Litteratur-rekommendationer
för semantikböcker.
Computing Research Association , with ranking
of US computer science departments.
Database of Exchange
Programs at UC at Irvine, Center for International Education
The European Satellite
Hack Page
Conf. High Performance
Functional Computing and proceeedings
Skeleton
bibliography at SEL-HPC (test)
Skeletons mailing
list members
Linewise (börskurser och
väder)
Links to various music archives.
Whois++ documentation
at Sunet.
Videocrypt
information with some decoding software.
European Satellite
Information.
ESA.
Info on Willow Information
Retrieval Software.
Home page for The
Distributed Systems Course at CMU.
ISO latin 1 character
entities & HTML escape sequence table
Virtual
Library/Cyberweb: Style
WebMaker (Framemaker to HTML
converter)
STARS
(suggestion for Symbolic Analysis LTR project).
Ian Foster, Designing and Building
Parallel Programs
Info on AUC TeX (GNU
Emacs TeX environment) + link to ftp site.
Miller Genuine Draft WWW
server (this link being kept by a perverted kind of curiosity)
Vädret
därhemma (courtesy of AU-system)
Microsoft
Research compiler analyses
IEEE Home Page and
IEEE abstracts
The SHAPE project (University
of Technology, Sydney)
Hotlist to HTML script, source and README file.
The Omega Calculator (Presburger
formulas, Integer tuple sets, and Integer tuple relations)
CSC Mathematical
Topics from Center for Scientific Computing, Finland
Perl archive at the University
of Florida
WWW icon sites: www.jsc.nasa.gov and
www.di.unipi.it.
DAIMI, University of Aarhus.
Discipline
on-line WWW order form
lisper#it.kth.se