Links to stuff I find useful
Research
Conferences, programming languages, useful sites, etc.
Conferences
A list of miscellaneous conferences on interesting topics. Some
in the past, some in the future, but all have nice papers at them,
so worth checking out.
Conference series
Programming Languages
There are tons of interesting languages. There are a few that
I tend to use more regularly:
Objective Caml (and a variant,
MetaOCaml),
Haskell and
Maple.
A few general places to look:
Barry Jay's Research Interests Shape Theory,
Graduate Courses About Programming Languages.
O'caml and MetaOCaml
Real stuff coming soon, but I particularly like
this example of the use of phantom types.
Haskell
Of course, one should first check out the
main site. Also useful are
A Compiler Toolkit in Haskell,
Attribute Grammar System,
Generic Programming with Strafunski,
Web Authoring System Haskell (WASH),
wxHaskell.
Rather funny is
The Evolution of a Haskell Programmer.
Maple
General language design
Plea to the language designer.
Mathematical Software Systems
MathScheme
Kolmogorov Complexity, MDL and applications
Welcome to the PixonTM homepage!
Generative Programming
Again, there is a lot of material here, in many different
areas. There is AutoBayes
Generic Programming
It is helpful to keep an eye on what these people are doing:
Software Engineering
As this is a huge area, these links reflect my idiosyncratic taste
in this area. Or the stuff I might eventually use, or do research
in. Or just things that I thought was neat, and want to remember.
So in general this will be related to specifications, verification,
correct-by-construction, etc work and tools.
Prosper project
for proofs and specifications.
Misc
These things need a home, but I don't use them enough to create
a category yet, so here they go.
- GraphViz
- MSc thesis from UW comparing algebraic specs and automata (and algebraic specs are shown to be more abstract).
Teaching
SE 3GB3
Well, what can one really say about a
game design course? The amount
of stuff out there is huge. So here is a sparse set of links, to
things of direct relevant to this particular course:
CS 1FC3
A bunch of links to course material based on Rosen's book,
CS365 at UNR,
Rosen site where the most useful
material seems to be instructor centre. 4th edition slides.
The slides for CMPE220 at a university in Turkey seem particularly nice.
They are in fact based on the slides by
Michael Frank,
but with a design I like better.
CS 1MD3
There is of course a wealth of material on the
official Python web site. As well,
there are two tutorials that I like, one being
Dive Into Python and the other
How to think like a Computer Scientists (in Python).
Annotated Table of Contents of Concrete Abstractions,
Barnes & Noble.com - An Invitation to Computer Science Java Version,
cs1104 Intro to Computer Science,
PVR-book (pdf),
IDEs and GUIs for x86-win32 GCC,
SkipList Applet Demonstration of Skip-Lists
CAS 706
Right now, most of the links are on the
old page for the course. They'll
get moved to here soon.
But do check out Reynold's
Theories of Programming Languages,
as well as the notes for his 2000 course on
the Denotational Semantics of Types.
Academia
Comprehensives
CS comprehensives at FIT
University of New Mexico Computer Science Department Ph.D. Comprehensive Exams
Grants
France-Canada Grants
Misc
Colleague's home pages
Christopher Anand,
Martin v. Mohrenschildt,
Wolfram Kahl,
Bill Farmer.
Latex
pdflatex tends to like A4 paper, while around here US letter
is preferred. One can use texconfig to change that; some
specific instructions
on how to do that. Weirdly enough, the actual command-line options
do not seem to be too well documented, as it seems that this command
is meant to be used interactively!
LaTeX to PDF slides,
PPower4,
Ringlord Technologies Publications LaTeX-to-PDF How-To,
Seminar, a package from Timothy van Zandt to make slides (Web page maintained by Denis Girou),
Timothy Van Zandt Home Page,
Using LaTeX to Create PDF Documents.
GUI Design
CS 160 lectures at Berkeley
Patterns
Design Patterns in Dynamic Programming,
E Wallingford -- Research on Patterns
refactor.pdf,
Presentations on patterns.
Seminars in the area
My bookmarks
The stuff below is a dump of my bookmarks on my laptop, so is full of
stuff that needs to be placed in the links above, as well as some
miscellany which needs sorting.
Favourites
- Slashdot
- Boing Boing
- Lambda the Ultimate
- Google News Canada
- Front for ArXiv
- blogdex - the weblog diffusion index
- Kitchener-Waterloo, Ontario - 5 Day Weather Forecast - Environment Canada
- MaplePrimes - Blogs, forums, techniques, musings, answers ... all things Maple and math
- Ars Mathematica
- MathForge.net :: Power Tools for Online Mathematics
- CiteULike: A free online service to organize your academic papers
- PlanetMath
- Metafilter | Community Weblog
- Abebooks Search Results - Mathematics
News
- .570 NEWS.
- ACM News Service
- Alexa Web Search
- Boing Boing A Directory of Wonderful Things
- CogNews - Cognitive Science News For You, By You
- Download programs - SoftPedia.com
Francais
- Google Actualités France
- freshmeat.net Welcome to freshmeat.net
- Slashdot News for nerds, stuff that matters
- The Artima Developer Community
- Jacques Carette's home page
- WebCT Login Page
- UnivMail
- Post to CiteULike
- Home Page of Calculemus 2005
- McMaster email
- Rogers WebMail
- Kitchener Weather
CS 1MD3
- 5. Rules of Inference
- Fischer Applied C An Introduction and More
- The Function Pointer Tutorials - Index
- W3Schools Online Web Tutorials
CS 4ZP6
- Project Manager
CAS 706
- 2G1117 Semantics for Programming Languages
- Book and Course in Constraint Programming and Reasoning
- CIS 670 Reference materials
- CMSC 336
- Courses
- Examples of programs in different programming languages
- Graduate Courses About Programming Languages
- http--www.cs.kent.edu-~arvind-teaching-courses-adv-cur.html
- http--www.cs.ubc.ca-~kdvolder-binaries-lect_09_types.ppt
- http--www.oreilly.com-news-graphics-prog_lang_poster.pdf
- PowerPoints
- Programming languages
- REBOL - X Internet Web Services Programming
- Scriptometer measuring the ease of SOP (Script-Oriented Programming) of programming languages
- Structure of Programming Languages I Denotational Semantics -- Contents
- TUNES Programming Languages
- Types and Programming Languages
- Ulf's Home-Page of Programming Language Design
- Alice
- Concepts, Techniques, and Models of Computer Programming
- l7.pdf (application/pdf Object)
- Vlerq: Home
- Polyglot extensible compiler framework
Books
- Title Details - Cambridge University Press
Games
- Addicting Games.com - Flash games
- Dr. J. Parker - Individual Pages
- IADT - Toronto - Technology
- pacmanƒpƒbƒNƒ}ƒ“
- Shirky Situated Software
- The Guildhall at SMU Welcome
- The Ivy-Covered Console
- VFS - Interactive Media for Communication & Game Design
- Mahjong at FREEGAMES.WS - Play free Mah-Jong, a solitaire game online
- VFS - Game Design
- Web Sudoku - Billions of Free Sudoku Puzzles to Play Online
- Sausage
McMaster
- academic.dishonesty
- McMaster University Libraries
Research
Aldor
- Aldor Manual
- Bibliography for Intersection Types and Related Systems
Clones
- Bauhaus Download
- Resource page for comparator 2.3
- Constraint Handling Rules (CHR)
- Course Algebra and Computation
- CS101C Type Theory and Formal Methods
- Design Patterns in Dynamic Programming
- DMS Software Reengineering Toolkit
- Functors declarative programming in a software library
- Homepage of Matthias Aschenbrenner
- http--www.info.ucl.ac.be-people-PVR-May3Talk.pdf
Kolmogorov Complexity
- Volker Nannen
- Languages for the Java VM
- Luca Cardelli
- My work on Principal Type Specialisation
- Norman Ramsey - Research and Publications
- Paul Taylor
- Publicaties
- Resourceable and Retargetable Binary Translation
- Software Development Online Jolt Product Excellence and Productivity Awards
- Takeuti Izumi abstracts
- The World Wide Web Virtual Library Formal Methods
- Timothy Gowers's web page
- Slashdot Open Source Engineering Software
- JetBrains onBoard Online Magazine :: Language Oriented Programming: The Next Programming Paradigm
- Usable GUI Design: A Quick Guide
- Online Bibliography of Partial Evaluation Research
- Chung-chieh Shan
- Modelica Portal - Documents
- Teach Yourself Programming in Ten Years
- LaTeX for Logicians
- Stratego / Meta Borg
- Logix Home
- Domain-Specific Languages: An Annotated Bibliography1
- Bill Clementson's Blog
- Listings
- MetaEnvironment
Follow Up
- The structure and value of modularity in software design
- Usability Issues in the Design of Novice Programming Systems
- jones2004pl4li.pdf (application/pdf Object)
- Sam Ruby: Continuations for Curmudgeons
- uist2003-uicont.pdf (application/pdf Object)
- rest-slides.pdf (application/pdf Object)
- Project ocaml-ast-analyze
- How to customize the syntax of OCaml, using Camlp4
- The Little Calculist
- math.DG/0504358: Bobenko, Alexander I., Suris, Yuri B.
- process/program logics
- Guide to the SWEBOK
- Foresight Exchange
Alternatives
-
Digital Tigers Multiple Monitors
- LyX - The Document Processor
- Multiple Monitors (UK)
- MyIE2 Online
- Opera Internet Browser
- Ritlabs Save your time - Extend your life!
- L - Grand Canyon Monitors Features
- Quantian
Comprehensives
- Past Computer Science Comprehensive Exams
- University of New Mexico Computer Science Department Ph.D. Comprehensive Exams
- ITEE Details for Mike Van Emmerik
Recipes
- BBQ Recipe - Provençal Rotisserie Leg of Lamb
- Cold Strawberry Soup Recipe from Cashtown Inn Bed and Breakfast and Restaurant, Cashtown, Pennsylvania on the Internet Cookbook
- Creole BBQ Leg of Lamb
- Food Network Canada Recipes Christine Cushing Live Roasted Red Pepper And Feta Spread
- Oven Ribs
- Recipes, Fruit Desserts (Strawberry Soup) - Bed & Breakfast Inns ONLINE
- Strawberry Soup again
- Strawberry Soup
- Luv-a-Duck: Cookbook
- MIT OpenCourseWare OCW Home
- Mono and GNOME. The long reply.
- Quotes for Programmers
- The Webby Awards the best of the web
Vim
- Vim documentation index
- Vim Seven habits of effective text editing
- Code Reading and Program Comprehension Bibliography A-H
- SuprNova.org - .com and .net are scammers! - The REAL Universal BitTorrent source
- Residential Broadband Users' Association
- blogdex - the weblog diffusion index
- consequently.org/edit: Typesetting PnC
- krugle