#popl — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #popl, aggregated by home.social.
-
Last but not least, Mark Koch talks about Guppy.
-
Agustin Borgna talking about HUGR at PLanQC 2025. #planqc #popl #quantumcomputing #quantinuum
-
Kaitlin Smith opens PLanQC 2025 with an overview of quantum software in her keynote talk. #planqc #popl #quantumcomputing
-
Tomorrow is already the deadline for the third edition of #WITS, the Workshop on the Implementation of Type Systems, colocated with #POPL 2024 in London. The page limit is one page, but just a single-paragraph abstract with an interesting idea for a talk is also very welcome! In particular contributors to #Haskell #OCaml #Rust #Scala #Coq #Lean #Agda #Idris #Cedille #Arend #CoolTT and even #TypeScript are warmly invited to give a talk about their experiences with implementing type systems.
Call for papers: popl24.sigplan.org/home/wits-2024#Call-for-Participation
Submission link: wits24.hotcrp.com/ -
#CallForPresentations #CoqPL #CoqPL2024 (Workshop on Coq for Programming Languages) "provide[s] an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team... To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop" https://popl24.sigplan.org/home/CoqPL-2024#Call-for-Presentations #Coq #ITP #PL #POPL
-
just gave a talk at #PADL (colocated with #POPL) about "declarative content generation" i.e. #logicProgramming for #generativeArt/ #pcg. slides here:
https://tinyurl.com/padl23-martens