output
20072026
most citedSciPy 1.0--Fundamental Algorithms for Scientific Computing in Python

40.2k citations

researchers with a paper here
collaborating institutions
Showing 2012 · cs.PLShow all

1 paper · 2 filters

cs.PL2012★ 29 cited

Elaborating Intersection and Union Types

Jana Dunfield

Designing and implementing typed programming languages is hard. Every new type system feature requires extending the metatheory and implementation, which are often complicated and…