500 citations
- Massachusetts Institute of TechnologyUS201 papers
- California Institute of TechnologyUS190 papers
- University of California SystemUS188 papers
- Universität HamburgDE186 papers
- Tsinghua UniversityCN185 papers
- University of ZurichCH185 papers
- Universidad Autónoma de MadridES184 papers
- University of FloridaUS184 papers
- Princeton UniversityUS183 papers
- Fermi National Accelerator LaboratoryUS182 papers
- Tata Institute of Fundamental ResearchIN182 papers
- University of Minnesota SystemUS182 papers
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 4 cited
Type Classes for Lightweight Substructural Types
Edward Gan, Jesse A. Tov, Greg Morrisett
Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We p…
math.GR2015★ 1 cited
Groups of Ree type in characteristic 3 acting on polytopes
Dimitri Leemans, Egon Schulte, Hendrik Van Maldeghem
Every Ree group , with an odd power of 3, is the automorphism group of an abstract regular polytope, and any such polytope is necessarily a regular polyhedron (a ma…