James J. Leifer / links


Quick links

  Mandake [lip6: current, cooker] [mirror.ac.uk: 8.1upd]

INRIA library  -  Trier bib  -  Citeseer  -  CTAN LaTeX macros and catalogue  -  OCaml man.

People

A
Abadi, Martín
Abramsky, Samson
Aceto, Luca
Aguilera, Marcos
Amadio, Roberto
Ariola, Zena M.
B
Backhouse, Roland
Benton, Nick
Berry, Gérard
Birman, Ken
Boudol, Gérard
Boreale, Michele
Bruni, Roberto
C
Cardelli, Luca
Castagna, Giuseppe
Castellani, Ilaria
Cattani, Luca
Cleaveland, Rance
Compagnoni, Adriana
Constable, Bob
Crafa, Silvia
Crary, Karl
Curtis, Sharon
D
Dam, Mads
De Nicola, Rocco
Doligez, Damien
Dybjer, Peter
E
Ehrig, Hartmut
F
Felleisen, Matthias
Field, John
Fiore, Marcelo
Fournet, Cédric
G
Gadducci, Fabio
Gardner, Philippa A.
van Glabbeek, Robert J.
Gordon, Andrew D.
Gorrieri, Roberto
Gray, Jim
Groote, Jan Friso
Gunter, Carl
H
Hadzilacos, Vassos
Harper, Bob
Harrison, John
Hasegawa, Masahito
Heintze, Nevin
Hennessy, Matthew
Hermida, Claudio
Holzmann, Gerard J.
Honda, Kohei
Hüttel, Hans
I
J
Jacobs, Bart
Jeffrey, Alan
Jim, Trevor
Johnson, David B.
Jones, Mark P.
K
Keidar, Idit
Kennaway, Richard
Kieburtz, Dick
Kobayashi, Naoki
König, Barbara
Kozen, Dexter
Kuhn, Markus
L
Lee, Peter
Lévy, Jean-Jacques
Leroy, Xavier
Lillibridge, Mark
Loader, Ralf
Lowe, Gavin
Lynch, Nancy
M
MacQueen, Dave
McCusker, Guy
Merro, Massimo
Milner, Robin
Mislove, Mike
Mitchell, John C.
Mohan, C.
Montanari, Ugo
Morrisett, Greg
N
Necula, George
Nestmann, Uwe
Nipkow, Tobias
O
Odersky, Martin
O'Hearn, Peter
P
Palamidessi, Catuscia
Panangaden, Prakash
Parrow, Joachim
Peyton-Jones, Simon
Pfenning, Frank
Pierce, Benjamin
Pitts, Andrew
Plotkin, Gordon
Pnueli, Amir
Pollack, Randy
Pottier, François
Q
R
Rathke, Julian
Rémy, Didier
Riecke, Jon
Riely, James
Rivest, Ronald L.
Roscoe, Bill
Russo, Claudio
Rutten, Jan
S
Sands, Dave
Sangiorgi, Davide
Scedrov, Andre
Selinger, Peter
Sewell, Peter
Stark, Ian
Sufrin, Bernard
T
Tannen, Val
Thielecke, Hayo
Toueg, Sam
Turi, Daniele
U
V
Vaandrager, Frits
Victor, Björn
Vitek, Jan
Volpano, Dennis
W
Wadler, Phil
Wegman, Mark N.
Wing, Jeannette
Wischik, Lucian
X, Y, Z

Category theory people (some)

Baez, John
Barr, Michael
Lawvere, William
Moerdijk, Ieke
Simpson, Alex
Robinson, Edmund
Wells, Charles
Cockett, Robin

Friends

Manuelle Duszynski

Bibliography

The Collection of Computer Science Bibliographies; mirrors: uk - canada
Hypatia
Digital Bibliography & Library Project; mirrors: trier de - sunsite de - acm - vldb
Hypertext Bibliography Project (MIT)
Networked Computer Science Technical Reference Library
ACM DL
Citeseer
Personal Home Page Search
LNCS search
UL > union (computer lab = 37)
British Library
Library of Congress

Mailing lists

concurrency - mobility - types - categories

News

eapls
EATCS conference bulletin

Ocaml

caml.inria.fr - Markus Mottl - ocaml perl regexps - ocaml link db - Stolpmann's ocaml-programming - ocaml odbc - ocaml postgres

TeX

local tetex
ctan - latex catalogue - tug - Xy-pic, xy-pic mailing list
AMS: ams latex, ams fonts; local reference: amsmath, faq, amssymb
David Bausum's TeX primitive control sequences (local copy)
LaTeX2e commented sources (local copy)

HTML reference

htmlhelp; w3schools; w3; all things web - useit

Categories

Theory and Applications of Categories

Security

Security-related Publications, Editorials, and Source Code - linuxsecurity - securityfocus

French library catalogues online

INRIA local

restauration, getting there; rocq campus, admin; salary scales; phebus (local buses); currency rates; daily allowance (IJ); my missions page; rocq guides; search library; seminars; AGOS - local system support (SIR/MIRIAD) - RMI machine ordering

local seminar recipients: /net/pauillac/infosystems/majordomo/lists/seminaire.

Time

Time, daylight saving

Travel

Eurostar
Railtrack
London transport
Cambridge Coaches
UK flight arrivals (LHR, LGW, STN, LTN)
Airport codes
Yahoo maps
yahoo currency converter (usd, eur, frf, chf) - oanda historical rates
official rates: federal reserve - euro central bank - french minifi -
vaccines
electrical outlets around the world
metric / US / imperial conversion

Shipping

Fedex - UPS
Mailboxes Cambridge

Practical French info

Calandrier scholaire: http://www.education.gouv.fr/prat/calendrier/calendrier.php
Strikes: infogreves.
French maps: yahoo
Paris metro: ratp - métro trafic - metro map - RER map
DB: many train timetables
low cost airlines: SkyScanner
SNCF: (tel: 08 92 35 35 35) - pdf schedules - Ile-de-France trafic - IdF
Airports: CDG flight info - Orly flight info.
Portals: yahoo.fr - linternaute - movingtofrance - practique - logement.
Housing listings: pap - seloger - immostreet - hestia.
Money: lemoneymag.
Telephone: budgetelecom - nomad.
Post: annuairedelaposte; postal offices
Funding: egide.
Visa: long séjour.
Computer sales: (never tried them) material.net, www.inmac.fr, www.hcsmisco.fr
Dictionaries: hachette - granddictionnaire.

Translate a URL from French to English:


Random links
Cognitive science: www.alexanderscience.org
Dog walking: Promenade de chien


This page: http://pauillac.inria.fr/~leifer/i.html.

[Validate page.]