Re: static type checking / interface definitions for Python?

Mark Lutz (mlutz@KaPRE.COM)
Fri, 23 Sep 1994 17:03:11 +0700

> There has been some work on type inference for Lisp, which is roughly
> similar concerning dynamic data types.

And for Prolog too-- comp.lang.prolog

Mark L.