Freire's Hotlist

• Functional Programming
• Curriculum
• Interesting Archives
• Search Engines
• Faculty of Informatics (La Coruña, Spain)
• Research Centers
• Other Research Links
• Cycling

Functional Programming

• Cool Links
• SEL-HPC Functional Programming Archive
• Mark Leone's Programming Language Research Page
• John Farrel's Functional Programming Page
• Real World Applications of Functional Programming
• Andrew Gordon's Web Monitor
• comp.lang.functional Frequently Asked Questions
• Andy Gill's List of Home Pages
• Haskell
• Functional Programming at Yale
• Paul Hudak, Zhong Shao, John C. Peterson, Sandra J. Loosemore, Alastair Reid, Thomas Blenko, Chih-Ping Chen, Hong Gao, Sheng Liang, Rajiv Mirani, Dan Rabin, Ming Yang, Linda Joyce, *Mark P. Jones *Martin Odersky
• Functional Programming at Glasgow
• Sigbjörn Finne Andy Gill, Kevin Hammond, Simon Marlow, Jim Mattson, Bryan O'Sullivan, Will Partain, Simon Peyton Jones, *Alastair Reid, Patrick Sansom, André Santos, Philip Wadler
• The Glasgow Haskell Compiler
• Computations Structures Group (LCS, MIT) (pH,Id)
• pH - A parallel Haskell
• The Functional Programming Group at Chalmers
• Haskell 1.3
• Haskell 1.3 Definition and Libraries (Draft)
• Alastair's Haskell Extensions Page
• Gordon's Haskell Leaks
• ML
• Project Cristal (INRIA)
• Pierre Weis, Michel Mauny, Xavier Leroy, Daniel de Rauglaudre, Didier Rémy, Francois Rouaix
• Caml Light html manual (local)
• Caml Special Light html manual (local)
• Standard ML of New Jersey
• Andrew Appel, Marcelo Goncalves, *Zhong Shao (Yale), Matthias Blume
• More ML Information
• Mailing List and FAQs, ML syntax, A Gentle Introduction to ML, SML Node (MIT Doc. Tree), ML Home Page, Extended ML
• Other
• Other Languages
• Functional: Oz, Erlang, Clean, Scheme Repository, Sisal Language Project,
• Prolog: Mercury, A Home Page for lambda Prolog,
• Projects & Utilities

The ML Kit, Camlwin & Caml libraries, Fox Project, Isabelle, TERSE, daVinci, The HOL Theorem Proving System, Jacques Garrigue : FIML, ERIL/LOTOS

• Random Papers

The Importance of Being Lazy,

---

People

• Franz Pichler, Lawrence C. Paulson, Manuel Hermenegildo, Roger Cavallo

Interesting Archives

• SEL-HPC Functional Programming Archive
• Concurrency, Pi-calculus, etc.
• Imperative functional programming and monads
• FTP Yale Haskell
• FTP Glasgow Haskell
• FTP Chalmers
• FTP AT&T Bell Labs (SML/NJ)
• FTP Cristal Project
• University of Manchester Computer Science publications
• Cornell Computer Science Technical Reports

---

Search Engines

• Computer Science-Related Information
• Computer Science Bibliography Glimpse Server
• Unified Computer Science TR Index
• Query Interface to the CS Technical Report Harvest Broker
• DIKU TOPPS Bibliography
• The Hypertext Bibliography Project
• The Gnu Info Tree
• BYTE Magazine
• FP Comes og Age/Erlang (Aug'94)
• WWW Search Engines
• Archie Request Form
• W3 Servers
• CUI W3 Catalog
• Yahoo
• Internet Search
• Other Resources
• Hypertext Webster Interface
• Quotation Search
• Hypertext Help with LaTeX

---

Faculty of Informatics (La Coruña, Spain)

• Depto. Computación (Computer Science)
• LFCIA
• Depto. Electrónica y Sistemas (Electronics and Systems)

Research Centers

• Yale University
• Department of Computer Science
• SPAM: Systems Personal Activity Meeting
• Prof. Paul Hudak
• Zhong Shao
• Alastair Reid
• Massachussetts Institute of Technology (MIT)
• MIT Laboratory for Computer Science
• Carnegie Mellon University (CMU)
• CMU School of Computer Science
• AT&T Bell Labs / Princeton University
• NJ Programming Languages and Systems Seminar
• Cornell University
• Cornell Department of Computer Science

Other Research Links

• AI-related FAQs (Lisp, OO, Prolog, Scheme, Smalltalk)
• Concurrency
• The WWW Virtual Library: Concurrent Systems (Oxford)
• The Occam archive
• Systems Engineering
• Institute for Systems Science
• Suny Institut of Technology
• Instituto de Cibernetica y Sistemas de Las Palmas
• Parallel and Distributed Computing
• Colored Petri Nets Tutorial
• Parallel Computing Archive at HENSA Unix
• Supercomputing and Parallel Computing Resources
• PVM3 Introduction
• Sparse Research Group at OGI
• Parallel C++ Projects Archive
• Garbage Collection

A garbage collector for C and C++

• Bytecode & Virtual Machines

HotJava

• Software Companies
• Franz Inc. (Allegro)

Cycling

• General Cycling

Cycling Spain

• Cycling Spain