A few pointers
Most of these pointers might be obsolete or uninteresting.
Pointers in the TODO list might even be untested.
I wrote them down for some reason or another,
because I saw them at a some place or another.
When I have time, perhaps I can sort them out.
Anyway, don't rely on anything here.
This document is NOT actively "maintained",
though I often add/delete pointers in the TODO list...
See
More or less sorted pointers
Computing
Philosophy and Moral Sciences
Libéralisme classique/classical liberalism
La Toile en Français
- Le BOcal,
feuille de choux des étudiants à l'ENS
(avec des articles de moi dans les numéros
127,
128,
132,
133,
134,
137,
141,
141,
142,
158,
159,
160,
162)
- La Carte du Web et
l'Annuaire de
FranceNet
- Au Québec,
les Chroniques de Cyberie,
la Toile du Québec,
l'Internet en français,
la chronique de Benoît Munger dans "le Devoir"
Entertainment
On-line books
People
(not in any particular order)
Friends:
People I most respect (and have not listed in my page on Reflection):
Other interesting scientists:
- P Wadler [
Functional programming on the web |
steele oopsla98 |
call-by-need |
wadler lam pi |
monads |
rw hol]
- John Tromp
- Radhia Cousot: POPL'97
- larry paulson: lamcal course
- Joseph Y Halpern
- Fergus Henderson
- Luc Moreau
- Will Clinger
- Stéphane Fermigier
- Andrew Moran
- Jeff Fox is a FORTH, MISC,
and Aikido guru.
- Jean Goubault
- Seán Matthews
- Gul Agha
- gunter grieser
- MCB Hennessy
- P selinger
- Sam Kamin
- Robin Popplestone
- Gibson
- Manfred Broy
- mjanssen
- samuel tardieu
- hal varian
- Dan J. Bernstein
- arend rensink
- John Levine's draft book on linkers and loaders
- castagna
- Tom Lord
- P selinger
- Luca Cardelli;
cardelli (local);
Obliq;
Dyn
- John Hughes
- Olaf
- Matthew Hennessy
- Guy E. Blelloch, Perry Cheng: On Bounding Time and Space for Multiprocessor Garbage Collection. PLDI 1999: 104-117
- Mats Bengtsson: Real-Time Compacting Garbage Collection Algorithms, Lund University, LUTEDX/(TECS-3028)/1-118(1990) & LU-CS-TR:90-61
- Roger Henriksson: Scheduling Garbage Collection in Embedded Systems
Lund University, LUTEDX/(TECS-1008)/1-164/(1998)
Roger.Hendriksson@dna.lth.se
- Implicit Parameters: Dynamic Scoping with Static Types
Jeffrey Lewis and Mark Shields and Erik Meijer and John Launchbury. In
Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, Boston, Massachusetts, pages 108-118, Jan 2000.
People met on the net:
Goodies
About the WWW
TODO list
Unsorted Bag of Pointer
- Littérature
- Géographie:
- Jeux info
- Télé-Achat
- IA, AI
- Psychologie, Psychiatrie, etc:
- News
- Info historique
- Docs Utiles:
- Repères de l'Internet
- Critique de logiciels
- Functional Programming Languages
- Other Languages:
- Language Implementation:
- Language Design
- Libre Logiciel:
- Linux
- Hardware
- Teaching and Academic stuff:
- Security
- X11
- FAI
- Journaux et Revues
- ORB and stuff
- Undigested
- ~eddie/fullyfu.ps
- crh
- Lugex
- bostonf
- Greg Franks'
- "Laws of Form" (the Logic Calculus of George Spencer-Brown).
- George Brun-Cottan
- Délivrez Prométhée
- trouble?
- LookSmart
- LookSmart h/linkto
- "Cool" OO Words
- Extra
- OCR?
- OCR/linux
- tips
- NSWC
- m2c
- bliss
- newton
- AI @ Edinburgh
- foo
- hic
- EDTC97
- network
- docproject
- Foreign Correspondent
- jeffm
- CETUS
- CETUS
- deriving programs
- deriving programs
- computing links
- kornerup
- edelson
- philg@mit.edu
- rooted in NCOMPLR
- fuchs
- Tim Sheard
- Computing Research Association
- RVM library
- larceny
- optimization survey
- NSF workshop on...
- Proteus
- percolate
- Rodney Brooks
- tail recursion
- diss
- OI bib
- nemesis
- Al
- AMC
- a couple of games
- bs blast
- transframe
- dynamic compilation
- pi 1088
- cloning humans
- bbtech
- Computer Shopper
- encyc subscription
- survey
- TOM
- a FORTH/Postscript/Java mix
- Glyphic CodeworksR Programming Environment
- "How to Fit a Large Program Into a Small Machine"
by Marc S. Blank and S. W. Galley.
Creative Computing, July 1980, pages 80-87.
- Thomas Worthington
- D.E.Knuth's home
- scizzl
- rice gopher
- XDS
- XDS (US mirror)
- AIM 1329
- LyX
- Poems
- spot diss
- split16
- SPAK
- NIC-France
- choix-fai
- ft
- link info
- http://www.cs.rice.edu/CS/PLT/packages/slatex/
- luceafarul in latin2
- lx banners
- infidels.org
- The ccrma www site
- coquand
- etc
- fuchs
- bernecky
- internet society, fr
- rdr
- bavi
- tomsrtbt
- Mma Graphics Gallery
- Start
- Ultra HAL
- where clauses
- INRIA: SACRES (Leguernic, Benveniste) Temps Réel
- Eli Examples
- OMAWEB
- Bastard Operator From Hell!
- SLDL
- BETA GC
- lang xref
- smlnj C ffi
- are cows animals?
- ismm98
- Contents of IWMM '95 proceedings
- Contents of IWMM '92 proceedings
- iwmm92.ps.Z
- lfp94
- 23rd Annual USENIX Technical Conference
June 15-19, 1998
New Orleans, Louisiana
- joris @ ultralix
- P-code
- fos
- cbbrowne
- bpmk
- my day
- boehm examples
- Frank Cornelis
- LICS 98
- fouet
- Henri Cohen:: A course in computational algebraic number theory a la fin: pointeur vers MacSyma
- fleegle
- chinese history
- Marc Merman
- casbah
- 2bit bench
- wr
- http://pauillac.inria.fr/~lang/libre/reperes/
- public domain OCR software
- ocr
- infocom games
- Parenthetically Speaking with Kent M. Pitman
- logics and declarative programming
- MLRISC
- Skeptics: Amazing Randi |
Cercle Zététique
- lt
- sigplan
- dictionary of programming languages
- de la part de F. Acquaviva
- src/doc/optimize.txt
- mercury compiler design
- CLOS, Eiffel, and Sather: A Comparison
- SICP bits
- jason: see RPG for AS/400
- David Trystram
- misc
- OpenBIOS
- alcool 90
- language-related conferences
- prix thèse
- knuth cm
- research
- comp.lang.functional FAQ
- partial functions
- web crash course
- ftpmail
- ftpmail
- FTPMAIL: HELP
- ircii EPIC
- jclt
- http://www.netservs.com/mrcool/stats.htm
- new SEL-HPC location
- beurk
- circu
- srt
- ubicomp
- perf
- CIAO
- microway: alpha workstations
- Ultra Technology (MISC)
- V6
- Jonathan
- logical fallacies
- http://www.cs.kuleuven.ac.be/~bmd/PrologProgrammingContests/iclp97competition.ps
- GUSH
- dilbert
- wall
- winvnkey
- internet junkbuster
- waldherr junkbuster
- misa
- lamport: why...
- FORTE PSTV 98
- ctcoq
- EML kit
- ML Kit
- ISMM98 est LA conférence sur la gestion de la mémoire
- OOPSLA98
- UDI
- libpasm
- coût de l'information
- ostore
- ostore
- ostore
- dsl copyleft
- amanda
- littleOS
- Alliance?
- dtm
- dylan lin
- dem's bookmarks
- maniette
- queso
- OOPSLA Squeak
- podfuk: userfs over nfs
- driver for both NT and Linux
- MOSS
- APRIL
- Logics for Mathematics and Computer Science
- X
- Y
- ctcoq
- MAX
- os development course
- janos
- x
- exokernel sources
- cloneDR
- dossier libre
- An Extensible I/O System
- serpent crypto
- g-raiden
- squeak headed
- squeak 158
- gost
- plus quelques critiques interessantes par un physicien
- ou un philosophe
- http://www.nyu.edu/gsas/dept/philo/faculty/boghossian/papers/bog_tls.html
- attribute grammars
- types for modules
- and their code
- Granger
- sds tool
- fs-ai
- j crippen
- hugo
- What is a Recursive Module?
- What is a Recursive Module?
- n'importe quoi!
- ssf
- shape toolkit for SCM
- the freewin '95 project has been renamed to ReactOS
- sml2scm
- FISh
- rot13
- aios
- krivine?
- p-system
- multics
- CTSS info
- eCos
- enstb
- Thomas Kistler and Michael Franz.
Automated Layout of Data Members for Type-Safe Languages.
Technical Report No. 98-22,
Department of Information and Computer Science,
University of California, Irvine, September 1998.
- back orifice
- Fritz Henglein, "Type Inference with Polymorphic Recursion", TOPLAS '93 15(2):253-289
- [huds91] Richard L. Hudson, J. Eliot B. Moss, Amer Diwan, and Christopher F. Weight. A language-independent garbage collector toolkit. Technical Report COINS 91-47, University of Massachusetts at Amherst, Dept. of Computer and Information Science, September 1991.
- moz tools
- rel
- rencontre TRON
- cvs
- COP
- statuts aful
- logos aful
- mleone jvm
- mit sol
- kafkafr
- encyclopaedia?
- TVB
- Eliminating array bound checking through dependent types, Hongwei Xi and Frank Pfenning
- internet dissident
- ttyquake
- ultra project
- Transactional RAM
- TPHOLs99
- bpf
- silug's book
- Programming Languages and Lambda Calculi
- SOCKS5 miniHOWTO
- mutt
- unios
- wp8
- CL software
- Joshua free OS
- Joshua free OS
- Joshua free OS
- ASN.1 au cnet
- Porting GCC for Dummies
- jpeg links
- jpeg faq
- ipchains
- mouse wheel
- kosh
- via computer
- Grammar Writer's Workbench for Lexical Functional Grammar
- lxdoom
- john fine -- raw pmode info
- funny movies?
- SCSI tech doc
- writing your own OS FAQ
- linux-mm
- lynx release
- VENDREDI 22 JANVIER a 16 HEURES 30 a l'Ecole Polytechnique (Amphi Becquerel)
- kawa paper
- "Advanced Programming Languages"
- "Logic for Computer Science"
- xklaim
- http://www.un.org/plweb-cgi/idoc.pl?1913+unix+_free_user_+www.un.org..80+un+un+pr1998+pr1998++Universal#&adj&Networking#&adj&Language# UNL
- FAQ AOP
- Object Code Translation Home Page
- Primitive Types Considered Harmful
- Go To Statement Considered Harmful
- Arrays and Pointers Considered Harmful, [Ince 92] D.C.INCE, ACM SigPlan
Notices, January 1992.
- Interface Pointers Considered Harmful
- COM Smart Pointers Even More Harmful
- Do Language Levels Affect Productivity?
- Cint
- sicp
- Gérard Verroust
- tao
- gatech cs2360
- LLF
- ws99
- course
- perdu
- vhemt
- verp
- http://tunes.org/~bineng/members/
- mozart
- vul
- hispec
- fire
- "Towards a portable lazy functional declarative debugger"
- emergent
- sapir-whorf
- finalists
- QED
- vm review
- social darwinism
- ae pcd usr com
- xxx lanl gov
- evolmol
- linux router
- wtr
- periodic table of elements
- validator
- dolphin
- F<:
- osp
- legion
- cable modem info
- univ alg
- cbbrowne OSes
- hevea
- t2h
- bla
- clover Pure FP+OOP
- Gray stream
- see thesis
- report3
- bcpierce: B629: Languages for Programming the Web Lecture Notes
- vftpd
- FAPI
- SequenceL
- adrenaline
- outreach
- small boards
- thesis
- dangergirl
- dg
- dg
- SAC
- ISS
- Patriot ShBoom
- the forth source
- jeux
- avec XBlast
- 3D
- magic point
- tableur ABS
- abi word
- article
- Michael Hanus
- TSIA
- monads
- thesis on connect 4
- eb
- eb
- eb
- eb
- antiraymond
- MTIC
- Applix SHELF
- SIAG
- SIAG
- magic point
- tableur ABS
- abi word
- format echange document
- Michael Hanus
- TAI99
- TSIA
- monads
- thesis on connect 4
- MTIC
- icfp99
- flops99
- Applix SHELF
- SIAG
- ffii
- sig
- knucleus
- Brian Hayes. "Collective Wisdom", American Scientist, Vol. 86, No. 2, March-April 1998, pp. 118-122.
- Joel Birnbaum. "Pervasive Information Systems", Communications, Vol. 40, No. 2, Feb. 1997, pp. 40-41.
- Université de droit de Harvard
- Chris Okasaki: efficient pure data structures
- sci.econ.research
- petite correction
- autre correc
- academic
- hacker wisdom
- categories?
- Serbia Now!
- rh5 to deb HOWTO
- rh5 to deb tools
- jam (also see cons)
- the open lab
- step
- crypto
- penguin
- iepos
- l OS/2 cl
- team OS/2
- niclos
- tintuc
- Language Study
- cours UNIX: tuteurs ENS
- AlonzoTG
- http://www.eecs.umich.edu/~steveh/inspiron
- nt secure???
- categories
- The Forum Specification Language
- hayek essay contest
- localisation
- Abstract Arrows
- eclipse 1999
- FICL
- Lojban
- UA
- types for pi-calculus
- fastcompany on geeks
- x-tt
- "galileo"
- mslinux
- a2i converts AT&T asm to INTEL/nasm style
- linas db
- Interfaces That Kill
- Component-Oriented Programming
- b pierce types list
- aisf
- cigref (voir aussi X-Informatique)
- swpat.ffii
- pli99
- bounty
- Luca Cardelli's "Extensible Syntax with Lexical Scoping."
- Phantom-OS
- kelsey
- proglang
- infer
- academic
- Python vs Tcl
- fmm
- tcl
- tcl war
- tcl war2
- zope
- when NEW fails
- the icon
- "fpca95-mth.ps.gz"-"abstract models of memory management"
- dmos.pointers
- papers-pl-imp
- P L
- more ASM
- mont
- ws
- kt.opensrc
- boerger
- GEP
- TOPLAS 97, Andrew Appel -- Bootstrapping Compilers
- formonto
- ericp
- JC Pazzaglia?
- onto
- agents
- agent0
- CAS modeling
- fax
- zipfax
- proposal
- iepos lambda
- lucy
- strunk
- corsini
- cbneed amb
- lambda
- AB
- mscs
- jlc
- ABS
- thprop
- foote
- lieber
- Competition keeps Linux lean
- multinationales contre MS
- chuck moore 19990522
- cah
- cahb
- concurrence distrib
- openmaster
- curl |
announce |
.com
- pitrat logique
- asr gr
- asn1
- ts2
- bolts
- new journalism
- turtle bib
- brics rs 97
- uchica tech
- lambda lifting/dropping
- ciesys
- erights
- pop art
- FM
- lp
- MPS
- D-PN
- martin
- NWPT6
- ADL
- KP
- MM
- spj
- harlequin bankrupt?
- The Minotaur
- scripting
- bolts
- FreeOS
- large programs
- R&D. Currently, I'm reading an interesting paper: "Applying Rewriting Techniques to the Verification of Erlang Processes", by Tomas Arts (CSLab) and Jürgen Giesl (TU-Darmstadt).
- games vs free software
- rop
- aaai95
- Verification
- ecoop 99 there's an interesting paper relating AOP to Beta's fragment system
- beta at ecoop99
- Perl Power Tools
- guardians
- dandr.com
- aphelie
- on being proprietary
- dmentre
- POPL'2000
- alexis read
- xxx.lanl.gov
- Obfusc
- lyskom
- forth threading
- conference resources
- OSO: Kaufmann
- OSO: Todd Burgess
- magic cauldron (local)
- Chuang Tse
- crc039
- 248
- pavg
- UC Davis SILO project
- Paul Curzon
- mech
- gasm bib&rep
- gasm verif
- ocv
- holly
- cousot
- abadi
- JB
- bouffe
- TOPPS
- c-v, etc
- mleone
- pilz oct
- object code translation
- pl implementation bib
- Active Libraries: Rethinking the roles of compilers and libraries
- Branching Time and Abstraction in Bisimulation Semantics
- Rob van Glabbeek's
- David F. Martin Memorial (died dec 96)
- chirica
- software validation&testing
- TLA
- Wolfgang Goerigk
- VERIFIX - Provably Correct Compilers
- PRISM
- SLIK
- jlib
- progres
- Carl Hewitt
- actor-1
- Carl Hewitt?
- Slim
- sunfire
- OI
- Memory management with explicit regions, David Gay, Alex Aiken ACM SIGPLAN Notices Vol. 33, No. 5 (May 1998), Pages 313-323 in: PLDI'98. Proceedings of the ACM SIGPLAN '98 conference on Programming language design and implementation, pages 313-323
- forth cpu?x
- kismet
- lfs-cmu
- MESS, Semantics-based Implementation of PLs
- CMM
- mazieres
- SFS
- ruby
- ertl cf
- Geek Chicks
- linux grrls
- linux chix
- Operating Systems, The Internet OS Resource
- Dijkstra
- agent faq
- popsh
- DEC sim
- pragma-ade
- bigFORTH
- bonsai
- dd.sh
- BioOS
- crenshaw
- tutorials
- y man
- compilers faq
- Ada standard appendix G
- Boxer
- pgc
- citrin
- amcomp61
- GLP
- copyright
- graphviz
- fax for linux
- tex faq 2 html
- tile.net ftp
- tutorials
- iip
- verifix intern
- DRC LUGM
- K Umbach
- TPHOLs99
- ECOOP 2000 web site
- PLI99
- all the web (?)
- BOFH-style Excuse Server
- BOFH complete
- alison
- geekfinder
- dopl
- foch.B
- lunix
- db
- listbot
- seity
- modal logic
- marx
- carlos hybrid
- carlos
- yde
- pk
- Mu
- CritLink
- IBM on licensing
- gamasutra
- LATIN
- ledoux
- dalang
- CR-ECOOP99
- Alexis Read
- Obscurity as Security
- sawmill
- researchindex.com
- oth
- the Internet Oracle
- water bookmarks
- andrew cook lang
- gnulist
- uni ete
- BugTraq
- waldo corba
- visual oberon
- survey
- nat prog
- SpamVert
- guide to being phd student
- erlang wiki
- toolsfor
- lmi
- DATR is a purely functional domain-specific language for linguistic applications (wuuruXXX)
- upd
- piccola
- docs.uu.se
- scalable knowledge bases
- dynamo00
- MathMorphs
- ADATE is Automatic Design of Algorithms Through Evolution
- mopintro
- levy
- dynamic jtmpl
- SW Bell
- Flanagan, Sabry, Duba, and Felleisen. The essence of compiling with continuations. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, SIGPLAN Notices 28(6), June 1993, pages 237-247.
- match library
- msft nsa
- iip
- The Copyright Website
- Copyright Terms
- Software License Primer
- The USENET Copyright FAQ
- doxpara
- GAP
- MuPAD
- scan
- schmidt
- science
- benthem
- search
- Erik Meijer
- Alma (Software Workshop for Analysing and Modelling)
- vms linking
- burning
- teraterm
- punch bill!
- telebig
- mmmm
- viavoice/linux
- waaapl99
- ay2k
- join vs ambients
- SpecWare @kestrel.edu
- cybercablés
- "Limits of ML-definability" from PLILP'96 S.M.Kahrs@ukc.ac.uk
- leapfrog
- softdv compilers
- sel-hpc compilers
- default
- Komelec
- qualite à ASR
- qualite au CNET
- clockwise, real-time FS for Linux
- prog a2z
- Mario Tokoro: AL-1/D imsa92
- Alan Cox
- nullstone
- judi: module calculus
- mir0slav 27024 midiz
- midi audio sk
- midi cz
- zipiz
- warren e. buffett
- schneier
- criswell
- hardware
- chaosdev
- linux
- tuteurs ENS
- OIL
- epkg (encap)
- plbook
- logic
- Eric
- Using Lightweight Procedures
- INAO
- souder
- coda overview
- mfreeland
- Richard Jones' bibliography on GC
- gc seminar
- 2nd look CatB
- http://www.kx.com/technical/index.html
- http://www.binnetcorp.com/OpenCode/kernelprolog.html
- http://www.cs.unt.edu/~tarau/kprolog/Main.html
- Express project
- varbusi
- gaf
- decoplus
- free tv
- dalkilic
- gimenez
- darwin
- cswillem
- ac prg
- lfs
- loco
- phd oos
- cs
- evil overlord
- mistie
- Longest Common Subsequences
- Sequence comparison
- smalltalk refs
- cybertool34:
victorinox |
corrado cutlery |
knife center
- recursive make considered harmful
- motley fool on linux vs MSFT
- AI inventor
- CUPS: replace all those 1970's line printer spoolers masquerading as printing systems
- autostop?
- shrinkwrap licenses
- ensembl
- EMBOSS
- bio.perl
- funix
- Transparent Society
- proof general
- noweb
- schneier
- webgratuit |
dpx |
le gratuit utile |
legratuit |
gratuit |
gratuit du net
- FreeMWare
- these
- JOS
- ReactOS
- FreeDOS
- VSTA
- Eros-os
- Chaos
- Hurd
- Freedows
- PetrOS
- linmodems |
linmodem
- extreme keyboarding
- Creating Your Own OS
- steve
- guide CVS DTL/ASR
- schintro
- benchmarks?
- visual oo
- The Functional page of Jon Mountjoy
- paraflow
- intensional prog
- spacewar
- The Operating Systems Collection
- Realistic Idealism, Philosophy based on evidence
- Welcome to Jenkins' Spoiler-Laden Guide to Isaac Asimov
- SciFi Weekly
- evm sourceforge
- No Amazon
- deal pilot
- choose system administration
- Fufie
- textedeloi
- penguinized linux source
- analyse de logs?
- Andrew Kenney, now at MSR
- Philosophy Pages, by Garth Kemerling
- webencyclo
- eForth
- comonads
- not C++
- linux usb
- mises middle of road
- BST
- li zhang
- prncyb
- (esp, lit and links (esp, Peter Aczel's hp) pages)
- lego
- journal of formalized mathematics
- relfun
- Ensemble project (Morrisett et al)
- orthogonal
- m flatt
- unification grammars
- craft2e
- monads
- Refactoring:
extreme programming |
xprogramming
- sableCC |
paper
- pacs
- ADATE
- OBJ coind
- COCOM
- disclaimer
- disclaimer
- disclaimer
- fcvm: community |
sources
- aabyan
- isl
- mcs98
- Code Smells
- programme
- paper
- Hindsight
- APL
- G.K. Chesterton
- Graal
- water: Arrow Phi |
slate
- thoughtful progming in 4th
- Interaction, Computability, and Church's Thesis
- C kit
- Green
- TheNewOS
- bineng's glossary
- tunes/9410/msg0052
- ollivier contre ultralib
