Special issue on principles and practise of declarative programming (PPDP 2013) : [... 16th (i.e.15th) International Symposium on ... held in Madrid, Spain in September 2013]

Veröffentlicht 2015

Disjunctive Delimited Control

von Vandenbroucke, Alexander
Veröffentlicht in LOPSTR (31. : 2021 : Online; Tallinn) Logic-based program synthesis and transformation (2022)

Constraint handling rules : current research topics

Veröffentlicht 2008

Principles and practice of declarative programming (PPDP 2013)

Veröffentlicht 2015

PaSe: An Extensible and Inspectable DSL for Micro-Animatıons

von Pieters, Ruben P.
Veröffentlicht in TFP (21. : 2020 : Krakau) Trends in functional programming (2020)

Functional and logic programming : 11th International symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 ; proceedings

Veröffentlicht 2012

State Will do

von Seynaeve, Willem
Veröffentlicht in TFP (21. : 2020 : Krakau) Trends in functional programming (2020)

A Functional Account of Probabilistic Programming with Possible Worlds: Declarative Pearl

von Berg, Birthe van den
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)

Breadth-First Traversal via Staging

von Gibbons, Jeremy
Veröffentlicht in MPC (14. : 2022 : Tiflis) Mathematics of program construction (2022)

Latent Effects for Reusable Language Components

von Berg, Birthe van den
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)

Special issue on the 5th International Workshop on Probabilistic Logic Programming

Veröffentlicht 2020

Structured Handling of Scoped Effects

von Yang, Zhixuan
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts

von Santos, César Augusto R. dos
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)