Media Summary: Mechanizing Meta-Theory in Beluga Time: Thursday, May 28, 2020 Speaker: Brigitte Pientka (McGill University) Proof assistant: ... 【Title】 Autopoiesis and Enaction in the Game of Life 【Speaker】Randall Beer, Provost Professor of Cognitive Science, Provost ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he
Moebius Metaprogramming Using Contextual Types - Detailed Analysis & Overview
Mechanizing Meta-Theory in Beluga Time: Thursday, May 28, 2020 Speaker: Brigitte Pientka (McGill University) Proof assistant: ... 【Title】 Autopoiesis and Enaction in the Game of Life 【Speaker】Randall Beer, Provost Professor of Cognitive Science, Provost ... Why are code and data so separate? Robert Smith of Rigetti Quantum Computing explains how he
![[POPL'22] Moebius: Metaprogramming using Contextual Types](https://i.ytimg.com/vi/XfiO8ZHiZNw/mqdefault.jpg)
![[PEPM'22] Modal Logics and Types: Looking Back and Looking Forward](https://i.ytimg.com/vi/jCu6H2n32TI/mqdefault.jpg)
![[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOAS](https://i.ytimg.com/vi/8c-enu_jnK8/mqdefault.jpg)