[fhpnc'23] shape-constrained array programming with size-dependent types
Published 11 months ago • 73 plays • Length 43:23Download video MP4
Download video MP3
Similar videos
-
30:03
fhpnc 2021 - generating high performance code for irregular data structures using dependent types
-
![[fhpnc'23] rank-polymorphism for shape-guided blocking](https://i.ytimg.com/vi/I8KyOM8tIok/mqdefault.jpg)
35:43
[fhpnc'23] rank-polymorphism for shape-guided blocking
-
![[fhpnc'23] efficient gpu implementation of affine index permutations on arrays](https://i.ytimg.com/vi/oMVycw4RLfM/mqdefault.jpg)
42:27
[fhpnc'23] efficient gpu implementation of affine index permutations on arrays
-
53:39
martin elsman: size-dependent types for practical data-parallel programming
-
22:59
refactoring object-oriented to awesome functional code
-
19:41
mpls sd & ai net world 2024 presents: coherent pluggables management
-
![[onward!] the principles of the flix programming language](https://i.ytimg.com/vi/RNZeAmp1EaA/mqdefault.jpg)
33:15
[onward!] the principles of the flix programming language
-
![[popl'24] internalizing indistinguishability with dependent types](https://i.ytimg.com/vi/cgTrzJ1yVSA/mqdefault.jpg)
20:10
[popl'24] internalizing indistinguishability with dependent types
-
![[oopsla23] structural subtyping as parametric polymorphism](https://i.ytimg.com/vi/zkUupBdVKuA/mqdefault.jpg)
17:28
[oopsla23] structural subtyping as parametric polymorphism
-
![[oopsla23] functional collection programming with semi-ring dictionaries](https://i.ytimg.com/vi/HF_XX4ssPAE/mqdefault.jpg)
19:49
[oopsla23] functional collection programming with semi-ring dictionaries
-
![[array24] mechanical proofs in an array-combinator language](https://i.ytimg.com/vi/rGKB2FTwGqE/mqdefault.jpg)
26:06
[array24] mechanical proofs in an array-combinator language
-
![[oopsla23] greedy implicit bounded quantification](https://i.ytimg.com/vi/st8FxgMRid4/mqdefault.jpg)
18:14
[oopsla23] greedy implicit bounded quantification
-
![[icfp'23] generic programming with extensible data types: or, making ad hoc extensible dat...](https://i.ytimg.com/vi/ZAUBtISINj0/mqdefault.jpg)
29:41
[icfp'23] generic programming with extensible data types: or, making ad hoc extensible dat...
-
![[plf23] mixed & verified consistency with propel and conopy](https://i.ytimg.com/vi/1oPxMwiHkd4/mqdefault.jpg)
17:16
[plf23] mixed & verified consistency with propel and conopy
-
2:03
kdd 2024 - psmc: provable and scalable algorithms for motif conductance