The Typed Racket Guide
Typed Racket is a family of languages, each of which enforce that programs written in the language obey a type system that ensures the absence of many common errors. This guide is intended for programmers familiar with Racket. For an introduction to Racket, see the The Racket Guide.
4.8 Variable-Arity Functions: Programming with Rest Arguments