通讯技术>> abel>> 返回
项目作者： jpvillaisaza

项目描述 ：
Category theory applied to functional programming
高级语言： Agda
项目地址: git://github.com/jpvillaisaza/abel.git
创建时间： 2012-11-15T14:16:20Z
项目社区：https://github.com/jpvillaisaza/abel
开源协议：
下载


Category Theory Applied to Functional Programming

This is the code for (Villa Isaza 2014), in which we study some of the
applications of category theory to functional programming,
particularly in the context of the Haskell functional programming
language, and the Agda dependently typed functional programming
language and proof assistant.

Villa Isaza, Juan Pedro (2014). Category Theory Applied to Functional
Programming. Undergraduate project. EAFIT. URL:
http://bit.ly/1cq5fwN.

The Haskell code was tested with GHC 7.6.3. Most of it corresponds to
or is based on standard Haskell code, and can be used as it is. See
src/Cain.hs.

The Agda code was tested with:

  • Agda 2.3.2.2 and the Agda standard library 0.7
  • Agda 2.5.1.1 and the Agda standard library 0.12

See src/Abel.agda.

For more information, send an email to
jvillai@eafit.edu.co.