Sciweavers

81 search results - page 17 / 17
» Floating Points: A method for computing stipple drawings
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
13 years 10 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride