Here is some miscellaneous stuff you might find useful.
Travel information
How to get here, to the Institut für Informatik.
Hacks
GHC-7.6.1-i386.pkg.
Glasgow Haskell Compiler GHC 7.6.1 binary distribution
for Mac OS X 10.6 (Snow Leopard), 32-bit version.
Compiled from the sources on 2012-11-02.
GHC-7.4.1-i386.pkg.
Glasgow Haskell Compiler GHC 7.4.1 binary distribution
for Mac OS X 10.5 (Leopard), 32-bit version.
Compiled from the sources on 2012-04-22.
The fifTeen Puzzle.
This is a fun JAVA applet implementing the wellknown game.
Convert a Haskell data type declaration into a
Java class hierarchy.
Functional algebraic data types can be simulated using immutable Java
classes. Such data types are neat for representing abstract syntax,
e.g., as in Andrew Appel's,
Modern Compiler Implementation in Java. This little Haskell program
parses a Haskell data declaration and outputs a number of Java class
files which implement this data type.
Documentation
Emacs quickstart.
A short introduction into Emacs.
For TCS@LMU
Private
Addresses of TCS group members (password protected access).
Private
Addresses of TCS group members (local access).
Old stuff.
[ Home
| CV
| Projects
| Publications
| Talks
| Teaching
| Sharing
]
|