Schlagwort-Archive: Zipper

[ 4. August 2010; 16:15 bis 17:45. ] Am 04.08.2010 trägt Sebastian Menge über Zipper-Transformationen vor.

Beim letzten Vortrag hat Jan das Zipper-Muster vorgestellt mit dem man Positionen in Termen fokussieren kann. Wenn sich die Terme nun ändern, wie kann man die Positionen “konsistent” halten?

Am 21. 7. 2010 wird Jan Schultze über “Das Zipper-Muster oder Wozu braucht ein Baum einen Reißverschluss?” vortragen.
Nachtrag: Hier gibt es die Vortragsfolien.