Department of Computer Science

Events

Search events

Event type

From

To

20 Nov. 2020, 14:05-15:00

COPLAS Talk: Isabelle’s Truly Modular (Co)datatypes and Beyond

COPLAS (Copenhagen Programming Language Seminar) talk on Isabelle’s Truly Modular (Co)datatypes by Dmitriy Traytel.


«	november 2020					»
M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30

Previous Events