Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
1 view
Updated 3 days ago
[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
![[PLMW @ POPL25] My Journey in Secure Compilation](http://i.ytimg.com/vi/wNS7T5LqqrA/mqdefault.jpg "[PLMW @ POPL25] My Journey in Secure Compilation")
![[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus](http://i.ytimg.com/vi/rs31pyGsSjk/mqdefault.jpg "[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus")
![[POPL'25] Peek A Boo - POPL I (23rd Jan)](http://i.ytimg.com/vi/Jff0pIbj8PM/mqdefault.jpg "[POPL'25] Peek A Boo - POPL I (23rd Jan)")
![[POPL'25] Coinductive Proofs for Temporal Hyperliveness](http://i.ytimg.com/vi/XpH6_BdQX-M/mqdefault.jpg "[POPL'25] Coinductive Proofs for Temporal Hyperliveness")
![[PLMW @ POPL25] How to give a good talk](http://i.ytimg.com/vi/I9kJgwYhQg4/mqdefault.jpg "[PLMW @ POPL25] How to give a good talk")
![[POPL'25] Welcome from the general chair](http://i.ytimg.com/vi/ZyAbfyXrnJA/mqdefault.jpg "[POPL'25] Welcome from the general chair")
![[POPL'25] Universal Composability is Robust Compilation](http://i.ytimg.com/vi/-JEzHksP4DY/mqdefault.jpg "[POPL'25] Universal Composability is Robust Compilation")
![[POPL'25] Data Race Freedom à la Mode](http://i.ytimg.com/vi/kuoT6CrSY70/mqdefault.jpg "[POPL'25] Data Race Freedom à la Mode")
![[SRC POPL'22] Tianyu Chen -- Generic Blame-Subtyping Theorem in Agda Using Abstract Binding Trees](http://i.ytimg.com/vi/mX3bRoEQJEA/mqdefault.jpg "[SRC POPL'22] Tianyu Chen -- Generic Blame-Subtyping Theorem in Agda Using Abstract Binding Trees")
![[POPL'25] Invited Talk: Welcome to Quantum 3.0!](http://i.ytimg.com/vi/nHnlMiOaRXk/mqdefault.jpg "[POPL'25] Invited Talk: Welcome to Quantum 3.0!")
![[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis](http://i.ytimg.com/vi/63QOfoxPahY/mqdefault.jpg "[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis")
![[POPL'25] Flo: a Semantic Foundation for Progressive Stream Processing](http://i.ytimg.com/vi/cLZbzJo0fXI/mqdefault.jpg "[POPL'25] Flo: a Semantic Foundation for Progressive Stream Processing")
![[POPL'25] RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and(…)](http://i.ytimg.com/vi/7JAM-Z5GZ44/mqdefault.jpg "[POPL'25] RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and(…)")