Type Inference by Coinductive Logic Programming (Q3638242): Difference between revisions

@@ Property / describes a project that uses @@
+RPython
@@ Property / describes a project that uses: RPython / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02444-3_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1668790119
@@ Property / OpenAlex ID: W1668790119 / rank @@
+Normal rank
@@ Property / cites work @@
+Idealized coinductive type systems for imperative object-oriented programs
+Normal rank
@@ Property / cites work @@
+Polymorphic bytecode
@@ Property / cites work: Polymorphic bytecode / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046765
@@ Property / cites work: Q3046765 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Inference by Coinductive Logic Programming
@@ Property / cites work: Type Inference by Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Principal typings for Java-like languages
@@ Property / cites work: Principal typings for Java-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q3024900
@@ Property / cites work: Q3024900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837984
@@ Property / cites work: Q3837984 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Co-Logic Programming: Extending Logic Programming with Coinduction
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming
@@ Property / cites work: Coinductive Logic Programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3638242