Results 21 to 30 of about 1,138,309 (354)
the functional perspective on advanced logic programming [PDF]
, 2016 This research summary was submitted to the Doctoral Consortium of ICLP 2016.
Vandenbroucke, Alexander
openaire +8 more sources
A Formalization of the Semantics of Functional-Logic Programming in Isabelle [PDF]
, 2009 International ...
Francisco López Fraguas +2 more
openalex +6 more sources
Type classes in functional logic programming
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011 Enrique Martin-Martin
openalex +3 more sources
A semantic framework for functional logic programming with algebraic polymorphic types [PDF]
Theory and Practice of Software Development, 1997 Puri Arenas-Sánchez +1 more
openalex +2 more sources
LNL-FPC: The Linear/Non-linear Fixpoint Calculus [PDF]
Logical Methods in Computer Science, 2021 We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which enhances the safety properties of programs, but also supports non-linear ...
Bert Lindenhovius +2 more
doaj +1 more source
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Proc. ACM Program. Lang., 2023 Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming.
L. Augustsson +7 more
semanticscholar +1 more source
Compiling With Classical Connectives [PDF]
Logical Methods in Computer Science, 2020 The study of polarity in computation has revealed that an "ideal" programming language combines both call-by-value and call-by-name evaluation; the two calling conventions are each ideal for half the types in a programming language.
Paul Downen, Zena M. Ariola
doaj +1 more source
Separating Sessions Smoothly [PDF]
Logical Methods in Computer Science, 2023 This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation.
Simon Fowler +4 more
doaj +1 more source