共 50 条
[31]
A Modular Semantics for Higher-Order Declarative Programming with Constraints
[J].
PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING,
2011,
:41-51
[34]
Higher-order continuation for the determination of robot workspace boundaries
[J].
COMPTES RENDUS MECANIQUE,
2016, 344 (02)
:95-101
[36]
Model-Checking Higher-Order Programs with Recursive Types
[J].
PROGRAMMING LANGUAGES AND SYSTEMS,
2013, 7792
:431-450