1:17:54

[TyDe'23] Multi-phase computation as an applicative functor

ACM SIGPLAN

22:24

[TyDe'23] A Calculus of Inductive Linear Constructions

ACM SIGPLAN

19:23

[TyDe'23] A Dependently Typed Language with Dynamic Equality

ACM SIGPLAN

19:20

[TyDe'23] Combining Dependency, Grades, and Adjoint Logic

ACM SIGPLAN

17:35

[TyDe'23] Infix-Extensible Record Types for Tabular Data

ACM SIGPLAN

24:23

[TyDe'23] An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstr...

ACM SIGPLAN

21:45

[TyDe'23] A Type System For Feature Engineering (Extended Abstract)

ACM SIGPLAN

27:44

[TyDe'23] A type-theoretic account of quantum computation (Extended Abstract)

ACM SIGPLAN

22:51

[TyDe'23] Exploring modal types for the Intel Quantum SDK (Extended Abstract)

ACM SIGPLAN

25:32

[TyDe'23] Semantic Encapsulation using Linking Types

ACM SIGPLAN

19:02

[TyDe'23] Towards Tagless Interpretation of Stratified System F (Extended Abstract)

ACM SIGPLAN

26:08

[TyDe'23] Types as First-Class Values in Fuzion (Extended Abstract)

ACM SIGPLAN

18:15

[TyDe'23] Pipit: Reactive Systems in F★ (Extended Abstract)

ACM SIGPLAN