2 papers
cs.PL2018
FMS: Functional Programming as a Modelling Language
Ingmar Dasseville, Gerda Janssens
In this paper we introduce the Functional Modelling System (FMS). The system introduces the Functional Modelling Language (FML), which is a modelling language for NP-complete searc…
cs.PL2018
Transpiling Programmable Computable Functions to Answer Set Programs
Ingmar Dasseville, Marc Denecker
Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming…