1:03:07

[WITS'24] Inside the Scala Capture Checker

ACM SIGPLAN

25:12

[WITS'24] Binding Syntax for Dependently-Typed Programs

ACM SIGPLAN

35:47

[WITS'24] Retrofitting Null-Safety into Java

ACM SIGPLAN

33:37

[WITS'24] Type inference for application spines

ACM SIGPLAN

29:15

[WITS'24] On Modelling Heap Invariants for Type Systems in Dafny

ACM SIGPLAN

32:51

[WITS'24] Solving constraints during type inference

ACM SIGPLAN

31:05

[WITS'24] Yaffle: A New Core for Idris 2

ACM SIGPLAN

32:41

[WITS'24] asai: a Library for Compiler Diagnostics

ACM SIGPLAN

28:50

[WITS'24] Efficient Evaluation with Controlled Definition Unfolding

ACM SIGPLAN

21:32

[WITS'24] Implementing separation logic using an SMT-backed Frame Rule

ACM SIGPLAN