151 citations
- C&R Technologies (United States)US4 papers
- N&N Pharmaceuticals (United States)US4 papers
- B & BSI3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Delaware Division of LibrariesUS3 papers
- IHS Markit (United States)US3 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT3 papers
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR3 papers
- London Rebuilding SocietyGB3 papers
- Université Paris CitéFR3 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Forschungszentrum JülichDE2 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 17 cited
Technical Dimensions of Programming Systems
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a…
cs.PL2016★ 1 cited
How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard
Johannes Emerich
Functional languages with strong static type systems have beneficial properties to help ensure program correctness and reliability. Surprisingly, their practical significance in ap…