Explore >> Select a destination
|
You are here 
|
popl24.sigplan.org | ||
| | | | |
2023.splashcon.org
|
|
| | | | | 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... | |
| | | | |
2019.ecoop.org
|
|
| | | | | ECOOP is Europes longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective pearls, and forward-thinking new idea papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals. | |
| | | | |
2019.ecoop.org
|
|
| | | | | Welcome to the Tenth ACM SIGPLAN Scala Symposium, 2019! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This... | |
| | | | |
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... | ||
