PDDL - The Planning Domain Definition Language, Version 1.2
(1998) : McDermott, Drew et al
url: http://icaps-conference.org/ipc2008/deterministic/data/mcdermott-et-al-tr-1998.pdf
#planning #PDDL #language_design #my_bibtex

Logic Programming in a Fragment of Intuitionistic Linear Logic
(1994) : Hodas, J.S. Miller, D.
DOI: https://doi.org/10.1006/inco.1994.1036
#language_design #linear_logic #logic #my_bibtex

GDL-III
(2017) : Thielscher, Michael
DOI: https://doi.org/10.24963/ijcai.2017/177
#epistemic_logic #semantics #DSL #GDL #muddy_children_domain #syntax #game_description_language #language_design #my_bibtex

Multilisp
(1985) : Halstead, Robert H.
DOI: https://doi.org/10.1145/4472.4478
#concurrency #process_scheduling #multi_lisp #garbage_collection #language_design #symbolic_computation #my_bibtex

Modelling Mixed Discrete-Continuous Domains for Planning
(2006) : M. Fox and D. Long
DOI: https://doi.org/10.1613/jair.2044
#PDDL #hybrid_automata #language_design #planning #syntax
#my_bibtex

A craft practice of programming language research
(2018) : Blackwell, A
url: http://www.ppig.org/sites/ppig.org/files/2018-PPIG-29th-blackwell.pdf
#craft #language_design #live_coding #programming
#my_bibtex