Abstractions for Type-Level Programming
Speaker: Olivier Eric Paul BLANVILLAIN Location: BC 410 Category: Thesis defenses