TypedProlog

<language> A strongly typed logic programming language.

Last updated: 1995-03-25

Try this search on Wikipedia, OneLook, Google

Nearby terms: type assignment « type class « typed lambda-calculus « TypedProlog » typeface » type inference » type scheme


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.