Typed Stack is a stack implementation written in Typed Racket.
Typed Racket implementation of a stack library