Deriving Theorems in Implicational Linear Logic, Declaratively
Article in Electronic Proceedings in Theoretical Computer Science (September 2020)
The most recent citing publication is shown below. View this citation on Dimensions.
Practical Aspects of Declarative Languages
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Eliminating Irrelevant Non-determinism in Functional Logic Programs
-
Altmetric BadgeChapter 2 Canonicalizing High-Level Constructs in Picat
-
Altmetric BadgeChapter 3 An Overview of P $$\rho $$ Log
-
Altmetric BadgeChapter 4 Integrating Answer Set Programming with Object-Oriented Languages
-
Altmetric BadgeChapter 5 Extending Answer Set Programs with Interpreted Functions as First-Class Citizens
-
Altmetric BadgeChapter 6 Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System
-
Altmetric BadgeChapter 7 Failing Faster: Overlapping Patterns for Property-Based Testing
-
Altmetric BadgeChapter 8 Boltzmann Samplers for Closed Simply-Typed Lambda Terms
-
Altmetric BadgeChapter 9 Selection Equilibria of Higher-Order Games
-
Altmetric BadgeChapter 10 DALI for Cognitive Robotics: Principles and Prototype Implementation
-
Altmetric BadgeChapter 11 Funky Grooves: Declarative Programming of Full-Fledged Musical Applications
-
Altmetric BadgeChapter 12 A Domain-Specific Language for Software-Defined Radio
-
Altmetric BadgeChapter 13 A Declarative DSL for Customizing ASCII Art
-
Altmetric BadgeChapter 14 Using Iterative Deepening for Probabilistic Logic Inference