Gulias's Hotlist

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

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,

• CFP, Conferences
  • HPFC'95 (High Performance Functional Computing)
  • QMW CS department Functional Programming Conference list
  • IWMM'95 top-level WWW page
  • JFLA'96
  • POPL'96
  • ICFP'96 - International Conference on Functional Programming
  • CAAP/CC/ESOP'96
  • PLDI'96 - Conference on Prog. Language Design and Implementation
  • WCSSS'96 - First Annual Workshop on Compiler Support for System Software
• Random People
  • Lawrence C. Paulson, Mathias Blume, Sanjay Poria (LOLITA), Graham Hutton, Chris Okasaki, Tony Hoare, Rishiyur S. Nikhil, Claus Reinke,

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
    • Miguel A. Alonso
    • Víctor M. Gulías
• Depto. Electrónica y Sistemas (Electronics and Systems)
  • Víctor Carneiro
  • Basilio B. Fraguela
  • Fernando Martín
  • Juan Touriño

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
• Parallel and Distributed Computing
  • 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)

Entertainment

• I Love Science Fiction
  • Star Trek
    Star Trek: The Next Generation (ST:TNG)
  • Star Wars
    • 20th Century Fox Site
  • Battlestar Galactica
• I Love Soccer (me gusta er furbo...)
  • I support the Real Madrid
    • I'm a proud member of "La Peña Internet del Real Madrid"
  • The other great team in Spain: El Deportivo de La Coruña
  • Marca's Liga Fantástica
  • Information Servers
    • NOS Teletext (687/1,Spanish League)
    • Spanish La Liga (riku,finland)
    • LFP and ACB
    • Soccer News
    • Sport on line (Catalunya's newspaper)
    • European Soccer Club Competitions
    • Soccer on US TV
• I Love Baseball
  • My great (baseball) love: Los Leones del Caracas
  • My ML Teams: The New York Yankees and The Cleveland Indians
  • New Haven's AA local Team: FTP Accolade
• The Spanish Corner
  • Newspapers from Spain
    • MARCA
      • Liga Fantástica de MARCA
    • ABC
    • El Comercio
    • El Periodico
    • La Vanguardia
    • El Mundo
    • Diario Avui
    • Diario Sport
    • Diario Vasco
    • HOLA!
  • Spanish Jokes
  • Spanish Newsgroups

Random Links

• Dan Wallach/Cool Links