Telecharger Cours

Strong Static Type Checking for Functional Common Lisp

says that a language is strongly typed if the type of all expressions is known at compile time. Cardelli and Wegner [Cardelli 85] apply ...



Download