MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Gregor Meyer – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
by Gregor Meyer — 1996 — Subtypes and Parametric Polymorphism, Informatik Berichte 200, Fern Universitat
… 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
by Gregor Meyer — 1996
…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
by Christoph Beierle, Stefan Böttcher, Gregor Meyer, Fachhochschule Ulm — 1994 — Revised version: Working Paper 4, IBM Germany, Scientific Center, Institute for Logics and Linguistics
… 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
by Christoph Beierle, Reinhold Kloos, Gregor Meyer — 1999
… Christoph Beierle a , Reinhold Kloos a , Gregor Meyer b a FernUniversit"at Hagen, FB Informatik…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB