78 citations
- Microsoft (United States)US6 papers
- Microsoft Research (United Kingdom)GB5 papers
- Árni Magnússon Institute for Icelandic StudiesIS2 papers
- Carnegie Mellon UniversityUS2 papers
- Charles UniversityCZ2 papers
- Dublin City UniversityIE2 papers
- Edinburgh CollegeGB2 papers
- ETH ZurichCH2 papers
- German Research Centre for Artificial IntelligenceDE2 papers
- Google (United States)US2 papers
- IU International University of Applied SciencesDE2 papers
- Johns Hopkins UniversityUS2 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018★ 1 cited
Future Directions for Optimizing Compilers
Nuno P. Lopes, John Regehr
As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code blo…
cs.PL2016
Types from data: Making structured data first-class citizens in F#
Tomas Petricek, Gustavo Guerra, Don Syme
Most modern applications interact with external services and access data in structured formats such as XML, JSON and CSV. Static type systems do not understand such formats, often…