Main public logs

Combined display of all available logs of WG 2.11. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 11:17, 26 October 2026 Jeremy-y talk contribs created page WG211/M26Yallop (Created page with "'''Staging with Equality''' ''Jeremy Yallop'' I present a study of the interaction between GADTs, typed quotations, and mutable state, and identify two classes of soundness problems.  There are various static and dynamic checks that address the problems, and I discuss the application of those checks in the Modular Macros project and to the languages MetaOCaml, GHC Haskell, and Scala 3.") Tag: Visual edit
• 09:07, 7 October 2026 Jeremy-y talk contribs created page WG211/M26Kovacs (Created page with "'''Thinning-stable metaprogramming''' ''András Kovács'' In this talk I give an overview of various notions of stability in metaprogramming and propose stability under thinning as a setup which shows some promise and which has not yet been explored. When we have "f : Code a -> Code b" in some staged language, we expect "f" to work on object expressions in arbitrary scopes. So, semantically we'd like to have "∀ Γ. Code Γ a → Code Γ b". However, functions of suc...") Tag: Visual edit
• 11:29, 5 October 2026 Jeremy-y talk contribs created page WG211/M26Shan (Created page with "'''Formalizing einsum with named tensor notation''' ''Yafei Yang and Chung-chieh Shan'', Indiana University Einstein notation (einsum) is a widely adopted tensor operation that has proven useful in areas such as machine learning and quantum computing. But it had no formal semantics until recently, and its properties had no mechanized verification. We formalize the denotational semantics of a language of tensors (multi-dimensional arrays) that supports einsum and repeat...") Tag: Visual edit
• 20:23, 21 November 2024 Jeremy-y talk contribs moved page WG21//M24Kuper to WG211/M24Kuper
• 00:45, 31 March 2024 Jeremy-y talk contribs uploaded File:Ballantyne-slides.pdf
• 12:33, 30 March 2024 Jeremy-y talk contribs uploaded File:Kellogg-slides.pdf
• 22:55, 15 March 2024 Jeremy-y talk contribs moved page WG211/M23Kellogg Static Program Reduction via Specification Slicing to WG211/M23Kellogg