151 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Anna Needs Neuroblastoma AnswersUS4 papers
- American Australian AssociationUS1 paper
- Argonne National LaboratoryUS1 paper
- Asia e UniversityMY1 paper
- B2 (Slovenia)SI1 paper
- B & BSI1 paper
- Boston UniversityUS1 paper
- British Society for Cell BiologyGB1 paper
- Brookhaven National LaboratoryUS1 paper
- Center for Collaborative EducationUS1 paper
- Charles UniversityCZ1 paper
- Cornell UniversityUS1 paper
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…