@inproceedings{ec26379c8fda46acadd13ba352a4de51,
title = "Experience report: Applying random testing to a base type environment",
abstract = "As programmers, programming in typed languages increases our confidence in the correctness of our programs. As type system designers, soundness proofs increase our confidence in the correctness of our type systems. There is more to typed languages than their typing rules, however. To be usable, a typed language needs to provide a well-furnished standard library and to specify types for its exports. As software artifacts, these base type environments can rival typecheckers in complexity. Our experience with the Typed Racket base environment-which accounts for 31% of the code in the Typed Racket implementation-teaches us that writing type environments can be just as error-prone as writing typecheckers. We report on our experience over the past two years of using random testing to increase our confidence in the correctness of the Typed Racket base environment.",
keywords = "Numeric towers, Random testing, Type environments",
author = "Vincent St-Amour and Neil Toronto",
year = "2013",
doi = "10.1145/2500365.2500616",
language = "English (US)",
isbn = "9781450323260",
series = "Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP",
pages = "351--356",
booktitle = "ICFP 2013 - Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming",
note = "2013 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013 ; Conference date: 25-09-2013 Through 27-09-2013",
}