Implementing type systems for the IDE with Xsemantics (Q739624): Difference between revisions

@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ANTLR
@@ Property / describes a project that uses: ANTLR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spoofax
@@ Property / describes a project that uses: Spoofax / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Neverlang
@@ Property / describes a project that uses: Neverlang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Centaur
@@ Property / describes a project that uses: Centaur / 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.1016/j.jlamp.2015.11.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2229705435
@@ Property / OpenAlex ID: W2229705435 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Ruler: Programming Type Rules
@@ Property / cites work: Ruler: Programming Type Rules / rank @@
+Normal rank
@@ Property / cites work @@
+The JastAdd system - modular extensible compiler construction
+Normal rank
@@ Property / cites work @@
+Q3655271
@@ Property / cites work: Q3655271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Scripting the type inference process
@@ Property / cites work: Scripting the type inference process / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Name Resolution
@@ Property / cites work: A Theory of Name Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+Ott: Effective tool support for the working semanticist
+Normal rank
@@ Property / cites work @@
+Q5277892
@@ Property / cites work: Q5277892 / rank @@
+Normal rank