15:20

[TyDe'22] Normalization by Evaluation with Free Extensions (Extended Abstract)

ACM SIGPLAN

16:12

[TyDe'22] Syntax-Generic Operations, Reflectively Reified (Extended Abstract)

ACM SIGPLAN

19:07

[TyDe'22] tylr, a tiny tile-based structure editor

ACM SIGPLAN

16:46

[TyDe'22] Computing with Generic Trees in Agda

ACM SIGPLAN

12:42

[TyDe'22] Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract)

ACM SIGPLAN

13:27

[TyDe'22] Structural Refinement Types

ACM SIGPLAN

11:38

[TyDe'22] Idris2-Table: Evaluating dependently-typed tables with... (Extended Abstract)

ACM SIGPLAN

15:36

[TyDe'22] A Hoare-Logic Style Refinement Types Formalisation

ACM SIGPLAN

11:47

[TyDe'22] Towards Dependently-Typed Control Effects (Extended Abstract)

ACM SIGPLAN

12:27

[TyDe'22] On the power of syntactic methods: It is all syntax after all…

ACM SIGPLAN

17:13

[TyDe'22] Mu tilde (re)cycled

ACM SIGPLAN

12:19

[TyDe'22] Toward Grammar Inference via Refinement Types (Extended Abstract)

ACM SIGPLAN

11:57

[TyDe'22] Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction

ACM SIGPLAN