plai-typed (racket): The `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition  
Keywords: language|textbook