‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Mon 1 Apr 2019 11:00 - 11:30 at Paganini - Emacs Lisp & Lisp Implementation

Mon 1 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Emacs Lisp & Lisp ImplementationELS at Paganini
11:00
30m
Talk
Pattern-Based S-Expression Rewriting in Emacs
ELS
Ryan Culpepper Czech Technical University
11:30
30m
Talk
Implementing Baker’s | SUBTYPEP Decision Procedure
ELS
Léo Valais , Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / LRDE
12:00
30m
Talk
MAKE-METHOD-LAMBDA Revisited
ELS