21:21

[WITS'22] CN: A Refinement Type System for C

ACM SIGPLAN

48:33

[WITS'22] Make Three To Throw Away: Frontiers in Homotopical Proof Assistants

ACM SIGPLAN

17:01

[WITS'22] The curious case of case: correct & efficient representation of case analysis in

ACM SIGPLAN

17:18

[WITS'22] Tries that match

ACM SIGPLAN

17:03

[WITS'22] Gotta prove fast: building an ecosystem for effortless native compilation of tac

ACM SIGPLAN

17:27

[WITS'22] mitten: A Flexible Multimodal Proof Assistant

ACM SIGPLAN

15:23

[WITS'22] Understandable and Useful Error Messages for Liquid Types

ACM SIGPLAN

11:40

[WITS'22] Deciding type equivalence with simple grammars

ACM SIGPLAN

15:14

[WITS'22] Typechecking up to Congruence

ACM SIGPLAN

18:49

[WITS'22] À bas L'η: Coq's troublesome η-conversion

ACM SIGPLAN

12:55

[WITS'22] Using Dependent Types at Scale: Maintaining the Agda Standard Library

ACM SIGPLAN

13:17

[WITS'22] Setting the Record Straight with Singletons

ACM SIGPLAN

13:18

[WITS'22] First-class pattern synonyms

ACM SIGPLAN