Explore >> Select a destination
|
You are here 
|
popl18.sigplan.org | ||
| | | | |
popl21.sigplan.org
|
|
| | | | | Available now: Proceedings for PADL 2021 About The paradigm of declarative languages encompasses several well-established classes of programming languages, namely: functional, logic, and constraint programming languages.These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same ... | |
| | | | |
2019.splashcon.org
|
|
| | | | | PACMPL Issue OOPSLA 2019 seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL Issue OOPSLA 2019 will present their work at OOPSLA in Athens. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language... | |
| | | | |
2020.programming-conference.org
|
|
| | | | | COVID-19 update: we will be holding the Salon online from May 3-9: schedule; slack We were promised bicycles for the mind, but we got aircraft carriers instead. Can you imagine a world where everyone can build or customize the software they need without years of study? A world where software tools are lightweight and human scale, like bicycles, not massive engines of the Software-Industrial Complex? The singular success of spreadsheets gives hope that programming can be humanized. The Salon at 2020 invit... | |
| | | | |
icfp23.sigplan.org
|
|
| | | NEW: Register for a lightning talk here: https://docs.google.com/document/d/1OQvkBqFf-JHd8XZ8q5Fkk0m8LOG5FlnGCzyzLS2MAqk/edit?usp=sharing The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as formal se... | ||
