[popl'24] when subtyping constraints liberate: a novel type inference approach for first-c...
Published 6 months ago • 123 plays • Length 21:33Download video MP4
Download video MP3
Similar videos
-
![[popl'24] inference of robust reachability constraints](https://i.ytimg.com/vi/4DT5XZQNUSE/mqdefault.jpg)
18:59
[popl'24] inference of robust reachability constraints
-
![[popl'24] polymorphic type inference for dynamic languages](https://i.ytimg.com/vi/dYJ9DB5ySwU/mqdefault.jpg)
21:04
[popl'24] polymorphic type inference for dynamic languages
-
![[popl'24] explicit effects and effect constraints in reml](https://i.ytimg.com/vi/447M7267JQE/mqdefault.jpg)
20:38
[popl'24] explicit effects and effect constraints in reml
-
![[popl'24] mechanizing refinement types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
20:26
[popl'24] mechanizing refinement types
-
![[popl'24] decision and complexity of dolev-yao hyperproperties](https://i.ytimg.com/vi/7_EdecEJHM4/mqdefault.jpg)
20:47
[popl'24] decision and complexity of dolev-yao hyperproperties
-
![[popl'24] total type error localization and recovery with holes](https://i.ytimg.com/vi/j1Xyuu4kVwQ/mqdefault.jpg)
21:17
[popl'24] total type error localization and recovery with holes
-
![[popl'24] concluding remarks](https://i.ytimg.com/vi/XML7bRPv7P4/mqdefault.jpg)
4:16
[popl'24] concluding remarks
-
![[popl'24] answer refinement modification: refinement type system for algebraic effects and...](https://i.ytimg.com/vi/S4XojkWuEtY/mqdefault.jpg)
22:52
[popl'24] answer refinement modification: refinement type system for algebraic effects and...
-
![[popl'24] disentanglement with futures, state, and interaction](https://i.ytimg.com/vi/m8-EnnteBg8/mqdefault.jpg)
19:42
[popl'24] disentanglement with futures, state, and interaction
-
![[popl'24] internalizing indistinguishability with dependent types](https://i.ytimg.com/vi/cgTrzJ1yVSA/mqdefault.jpg)
20:10
[popl'24] internalizing indistinguishability with dependent types
-
![[popl 2021] coqpl: a limited case for reification by type inference](https://i.ytimg.com/vi/qDqwYeNCB0g/mqdefault.jpg)
13:53
[popl 2021] coqpl: a limited case for reification by type inference