Explore >> Select a destination
|
You are here 
|
popl19.sigplan.org | ||
| | | | |
popl21.sigplan.org
|
|
| | | | | POPL 2021 videos are publicly available on Clowdr! There are also Clowdr tutorial videos available. POPL 2021 papers published in PACMPL, vol. 5, issue POPL. Preprints are also linked from Clowdr. Having trouble getting on Clowdr? DM @poplconf on Twitter or email popl2021team@gmail.com. Online registration is still open. POPL 2021 will take place on January 1722, 2021 as a virtual meeting. Heres How to POPL 2021. Video pre-publication is coming! The POPL 2021 Program is up! POPL 2021 Accepted Papers | |
| | | | |
popl20.sigplan.org
|
|
| | | | | 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 ... | |
| | | | |
icfp19.sigplan.org
|
|
| | | | | ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the Hotel Scandic Berlin Potsdamer Platz. Co-located workshops and tutorials will take place on August 18 and 22-23. This year, ICFP is also co-located with BOBKonf, which will take place on August 21 at the same venue. In addition, Racketfest will take place on August 17 at a different venue in Berlin. Registration is now open. ICFP has officially accepte... | |
| | | | |
icfp19.sigplan.org
|
|
| | | ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a large amount of computer science research and in... | ||
