FlatCurry

swMATH28856MaRDI QIDQ40570FDOQ40570

Author name not available (Why is that?)

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)

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

This page was built for software: FlatCurry