FlatCurry

MaRDI QIDQ40570swMATHFDO

Official website https://www.informatik.uni-kiel.de/~curry/flat/

Described by source

• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

Cited in

(9)

• KiCS2
• FACTORIE
• Curry
• EasyCheck
• PAKCS
• PFLP
• CHR.js
• Implementing a library for probabilistic programming using non-strict non-determinism
• Functional and constraint logic programming. 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised selected papers

This page was built for software: FlatCurry