Gregor Meyer
Contact
Tel.: +49 2331/181783
Fax.: +49 2331/31794
email: gregor.meyer@fernuni-hagen.de
Research
Tutorial on Types in Logic Programming
at ICLP'97 in Leuven.
'Typical' for annotated Prolog
A type checker for Prolog
DFG-Project 'Compilation of Typed Logics'
My publications
The PROTOS-L system
Other helpful WWW links
My collection of
libraries and publication databases
(in german)
On the other side
for the curious
[FernUni Hagen]
|
[Computer Science]
[Prakt. Inf. VIII]
GM
Dec.'96, /
URL of this page is
http://www.fernuni-hagen.de/pi8/gm/