/explore
|
You are here 
|
2018.ecoop.org | ||
| | | | |
2022.ecoop.org
|
|
| | | | | COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity Contextual information plays an ever-increasing role in our information-centric world. Current-day software systems adapt continuously to changing execution and usage contexts, even while running. Unfortunately, mainstream programming languages and development environments still do not support this kind of dynamicity very well, leading developers to implement complex designs to anticipate various dimensions of variab... | |
| | | | |
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.splashcon.org
|
|
| | | | | The AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, active/concurrent objects, agents andmore generallyon high-level programming paradigms which promote decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, and practitioners developing real-world systems and applicati... | |
| | | | |
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... | ||
