/explore
|
You are here 
|
icfp18.sigplan.org | ||
| | | | |
popl23.sigplan.org
|
|
| | | | | Workshop on Programming Languages and the Law 2023 Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. The current state of affairs is concerning: in many cases, human-critical systems are implemented using technology that is several decades old, resulti ... | |
| | | | |
2020.ecoop.org
|
|
| | | | | ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions-evaluations that provide new insights. It also encourages the submission of reproduction studies. Take a look at last year's proceedings for examples of t ... | |
| | | | |
2024.splashcon.org
|
|
| | | | | Virtual Machines are pervasive in the design and implementation of programming systems. In fact, languages implemented as virtual machines are crucial in the specification, implementation, and deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. | |
| | | | |
www.latinorebels.com
|
|
| | | Host Julio Ricardo Varela is joined by Futuro Media editorial director Fernanda Santos for a roundtable discussion with Dr. Aria Halliday, an associate professor of gender and women's studies at the University of Kentucky, for a breakdown of the legacy of Black Barbie. | ||
