Outer Web | Explore

Explore >> Select a destination

You are here		icfp19.sigplan.org Organizing Committee - ICFP 2019
\|	\|	homotopytypetheory.org HoTT 2023 \| Homotopy Type Theory	9.7 parsecs away Travel
\|	\|	The 2nd International Conference on Homotopy Type Theory (HoTT 2023)will be held Monday 22nd May - Thursday 25th May 2023at Carnegie Mellon University, Pittsburgh (USA). Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions page for instructions. Submissions open on 3rd February 2023 and close on 3rd March 2023....	9.7 parsecs away Travel
\|	\|	icfp20.sigplan.org The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) (ICFP 2020 - ...	2.7 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...	2.7 parsecs away Travel
\|	\|	2019.splashcon.org Organizing Committee - SPLASH 2019	2.7 parsecs away Travel
\|	\|	SPLASH is the ACM SIGPLAN 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 languagesat the intersection of programming languages and software engineering. SPLASH 2019 will take place in Athens from Sunday 20th to Friday 25th of October 2019. SPLASH includes the following co-located conferences: OOPSLA, Onward!, GPCE, SLE, DLS, and M...	2.7 parsecs away Travel
\|	\|	2023.splashcon.org CacheIR: The Benefits of a Structured Representation for Inline Caches (MPLR 2023) - SPLASH 2023	4.4 parsecs away Travel
\|		The 20th International Conference on Managed Programming Languages & Runtimes (MPLR'23, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable a...	4.4 parsecs away Travel