MonthlyVlog#22 | 我们都要做自己的 DRI 呀 | 2024.05
MonthlyVlog#22 | 我们都要做自己的 DRI 呀 | 2024.05
已浏览 372 次2024年5月31日
bilibili之一之二之五六
Abstract Interpreters: A Monadic Approach to Modular Verification | Proceedings of the ACM on Programming Languages
Abstract Interpreters: A Monadic Approach to Modular Verification | Pr…
2 天之前
acm.org
Standing Waves: how are they different from travelling waves? | A Level Physics | Juan José Gárate Pirela
Standing Waves: how are they different from travelling waves? | A Level Phy…
已浏览 1659 次2 个月之前
linkedin.com
A Verified Foreign Function Interface between Coq and C | Proceedings of the ACM on Programming Languages
A Verified Foreign Function Interface between Coq and C | Proceedings o…
2025年1月9日
acm.org
Dependently-Typed Programming with Logical Equality Reflection | Proceedings of the ACM on Programming Languages
Dependently-Typed Programming with Logical Equality Reflection | Proceedi…
2023年8月31日
acm.org
Attenuation of Reserpine-Induced Pain/Depression Dyad by Gentiopicroside Through Downregulation of GluN2B Receptors in the Amygdala of Mice, NeuroMolecular Medicine | DeepDyve
Attenuation of Reserpine-Induced Pain/Depression Dyad by Gentiopicr…
2014年12月16日
deepdyve.com
Label dependent lambda calculus and gradual typing | Proceedings of the ACM on Programming Languages
Label dependent lambda calculus and gradual typing | Proceedings of the A…
2021年10月17日
acm.org
Elaboration with first-class implicit function types | Proceedings of the A…
2020年9月11日
acm.org
Generic zero-cost reuse for dependent types | Proceedings of the ACM on P…
2020年1月25日
acm.org
Handling fibred algebraic effects | Proceedings of the ACM on Program…
2020年4月12日
acm.org
4:27
冬之花，但是只有人声
已浏览 156 次2023年7月29日
bilibiliKalium_K
1:22
《阿 伟 被 骗》
已浏览 119 次2023年2月5日
bilibiliKalium_K
22:03
【中字】TYPES2025 - 5月8日 Constantine Theocharis：解锁依赖 …
已浏览 256 次5 个月之前
bilibiliGrahLnn
0:58
用991计算器复活牢大
已浏览 655 次2024年4月17日
bilibiliKalium_K
59:56
Eric Finster - Dependetopes与高阶广义代数理论
已浏览 517 次6 个月之前
bilibili筑桥者Hagi
46:35
【会议】Memorial Conference for Erik Palmgren 2020
已浏览 163 次2023年4月28日
bilibili筑桥者Hagi
Emma Compton, Licensed Independent Social Worker, Hilliard, …
4 个月之前
psychologytoday.com
PulseCore: An Impredicative Concurrent Separation Logic for Dep…
9 个月之前
acm.org
Self-certification: bootstrapping certified typecheckers in F* with Coq…
2021年3月2日
acm.org
Cubical agda: a dependently typed programming language with univalen…
2019年12月31日
acm.org
1:02:32
2021 01 03 - Pastor Jim Rhodes - Let Go...
已浏览 70 次2021年1月3日
Godtube.comWeirton Alliance Church
The autonomic portion of the PNS functions (p. 424)a. conscious... | Filo
11 个月之前
askfilo.com
Effects of peptide YY (PYY) on mouth to caecum intestinal transit time and …
9 个月之前
jove.com
Full Body Stepper Wheelchair Access
2017年11月29日
taiwanexcellence.org
34:27
Danel Ahman - 二阶泛函的余模表示
已浏览 482 次2024年10月19日
bilibili筑桥者Hagi
Calculating dependently-typed compilers (functional pearl) | Procee…
2021年8月19日
acm.org
Systems of Equations: Consistent, Inconsistent, Dependent, Independe…
2011年3月25日
onlinemathlearning.com
观看更多视频
静态缩略图占位符