Outer Web | Explore

Explore >> Select a destination

You are here		pldi22.sigplan.org Equality Saturation as a Tactic for Proof Assistants (EGRAPHS 2022) - PLDI 2022
\|	\|	popl20.sigplan.org Making Progress Under Uncertainty in SMT Solving, Research, and Life (PLMW 2020) - POPL 2020	0.4 parsecs away Travel
\|	\|	What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they ...	0.4 parsecs away Travel
\|	\|	icfp20.sigplan.org The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) (ICFP 2020 - ...	0.4 parsecs away Travel
\|	\|	PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries. Authors of papers published in this issue of PACMPL will present their work at ICFP in Jersey City, providing an opportunity for researchers and developers to hear about the latest work in functional programming. PACMPL Volume 4, Issue ICFP, August 2020 is now available Gold Open Access from the ACM Digi...	0.4 parsecs away Travel
\|	\|	popl18.sigplan.org Climbing Up the Semantic Tower - at Runtime (Off the Beaten Track 2018) - POPL 2018	0.3 parsecs away Travel
\|	\|	OBT 2018 will be held on Saturday, January 13th. Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop's goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increa ...	0.3 parsecs away Travel
\|	\|	2023.splashcon.org AST vs. Bytecode: Interpreters in the Age of Meta-Compilation (SPLASH 2023 - OOPSLA) - SPLASH 2023	0.7 parsecs away Travel
\|		The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. We welcome the community to join us in Lisbon to celebrate humanity at the core of the software development process. We encourage everyone to participate in the many differ...	0.7 parsecs away Travel