Aachen Univ. of Technology,
Dept. of CS,
Lehrstuhl für Informatik II,
Research,
FP,
IFL
Meetings
- 19.11.99
- Olaf Chitil: Type-Inference Based Short Cut Deforestation (nearly) without Inlining
- 5.11.99
- Markus Mohnen: Functional Tcl
- 29.10.99
- Frank Huch: Erlang-Style Distributed Haskell
- 26.10.99
- Claus Jürgensen: Kategorientheoretisch fundierte Programmtransformationen für Haskell
- 8.99
- Ralf Welter: Simulation einer um Caching erweiterten STG-Maschine
- 4.2.99
- Olaf Chitil: Type Inference Builds a Short Cut to Deforestation
- 2.2.99
- Jörg Dölfer: Tcl/Tk Haskell
- 18.10.98
- Olaf Chitil: Zusammenfassung der IFL'98 (International Workshop on the Implementation of Functional Languages)
- 26.06.98
- Olaf Chitil: Eine Semantik für Lazy Evaluation
- 12.02.98
- Olaf Chitil: TkGofer, Programmierung von graphischen Benutzeroberflächen in dem Haskell-Dialekt Gofer
- 23.01.98
- Olaf Chitil: Objekt-orientierte Programmierung mit funktionalen Programmiersprachen
- 18.12.97
- Christian Tüffers: Erweiterung des Glasgow Haskell Compilers um die Erkennung von Hylomorphismen
- 12.12.97
- Jörg Köller: Entwurf und Implementierung einer Bibliothek für abstrakte Interpretation
- 28.11.97
- Jörg Dölfer: Erlang Model Checking
- 6.11.97
- Markus Mohnen: Praktische Vorteile Funktionaler Programmiersprachen
- 30.10.97
- Guido Freiberg: Skelett-basierte Implementierung der Salishan-Probleme
- 23.10.97
- Olaf Chitil: Zusammenfassung der IFL'97 (International Workshop on the Implementation of Functional Languages)
- 16.10.97
- Einführungsveranstaltung
- 17.7.97
- Bern Brassel: Partielle Auswertung
- 19.6.97
- Olaf Chitil: Zusammenfassung der ICFP '97 (International Conference on Functional Programming)
- 5.6.97
- Jörg Köller: BDDs (Binary Decision Diagrams)
- 13.5.97
- Michael Zimmermann: Short Cut Deforestation
- 25.4.97
- Christian Tüffers: Datentypen aus Sicht der Kategorientheorie
- 20.3.97
- Markus Mohnen: Eine denotationelle Graphreduktionssemantik
- 4.3.97
- Martin Hönings: Die Spineless Tagless G-Machine
- 27.2.97
- Olaf Chitil: Erweiterung des GHC um Eliminierung gleicher Teilausdrücke
- 14.2.97
- Stephan Tobies: You call this functional?! Monaden und Interna des GHC
- 31.1.97
- Thomas Richert: PCCTS
- 23.1.97
- Jörg Köller: Polymorphe Lambda-Kalküle, Teil 2
- 9.1.97
- Jörg Köller: Polymorphe Lambda-Kalküle, Teil 1
- 20.12.96
- Jörg, Martin, Christian, Jan-Paul, Michael: Implementierung der As-Pattern Transformation
- 13.12.96
- Christian Tüffers: Deriving Structural Hylomorphisms from Recursive Definitions
- 28.11.96
- Martin Hönings: Funktionale Listen
-
- 8.11.96
- Olaf Chitil: How to Add an Optimisation Pass to the
Glasgow Haskell compiler, revisited. Part 2
- 25.10.96
- Jörg Köller: Verbesserte Laufzeiten durch Eliminierung kommutativer Redundanz
- 18.10.96
- Markus Mohnen: Kontext-Pattern in Haskell
- ...
- ...
Olaf Chitil,
chitil@i2.informatik.rwth-aachen.de,
Last Update: October 14, 1998