18:11

Developing a Dependently Typed Language with Runtime Proof Search

ACM SIGPLAN

23:32

Generalization of meta programs with dependent types in mtac2 with mtac2

ACM SIGPLAN

19:56

Predictable macros for hindley milner

ACM SIGPLAN

22:25

Retrofitting Symbolic Holes to LLVM IR

ACM SIGPLAN

25:24

Shallowly embedding type theories

ACM SIGPLAN

20:19

Towards Graded Modal Dependent Types

ACM SIGPLAN

26:35

Frex: indexing modulo equations with free extensions (Extended Abstract)

ACM SIGPLAN