Searching for authors named Gregor Meyer – sorted by Relevance.
-
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
- Gregor Meyer FernUniversitat Hagen, Praktische Informatik VIII 58084 Hagen, Germany gregor.meyer
- Cited by 9 (2 self) – Add To MetaCart
-
On the Use of Types in Logic Programming
- On the Use of Types in Logic Programming Gregor Meyer FernUniversitat Hagen, Praktische
- Cited by 4 (2 self) – Add To MetaCart
-
Report of the Logic Programming Language PROTOS-L
- Bottcher 2 , Gregor Meyer 1 1 FernUniversitat Hagen, Fachbereich Informatik D-58084 Hagen, Germany e
- Cited by 5 (2 self) – Add To MetaCart
-
A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming
- Christoph Beierle a , Reinhold Kloos a , Gregor Meyer b a FernUniversit"at Hagen, FB Informatik
- Add To MetaCart

