发布项目

Haskell Project

已关闭已发布的 1 年前货到付款

$10-50 USD

货到付款

已关闭货到付款

Develop a type inference algorithm for the simply typed lambda calculus with fixed points, pairs, natural numbers, and lists: I call this the Basic Programming language for Computable Functions (BPCF). To achieve this you will need to collect the type of equations and solve them incrementally. In addition, as an optional extra, you can arrange for programs applied to values to be evaluated on the modern SECD machine.

Haskell 工程 Perl RUST Programming 软件构架

项目ID： #36356631

关于项目

3个方案远程项目活跃的1 年前

想要赚钱吗？

在Freelancer上竞标的好处

设置你的预算和时间表

通过工作获取报酬

大致描述您的提案

免费注册并竞标工作

有3名威客正在参与此工作的竞标，均价$35/小时

Zied130

Hello Kevin, I will work on this project until I get good results and complete all the tasks. I am prepared to handle projects requiring Engineering, Linear Programming skills. Please come over chat and discuss your 更多

$35 USD 在7天内

(19条评论)

4.1

yourshawonn

Dear, I'm reaching out to you because I'm looking to hire a Haskell programmer with experience in type inference for the Basic Programming language for Computable Functions (BPCF). The main requirement of this assignm 更多

$30 USD 在7天内

(0条评论)

0.0

Sochi4real

Hello! Pleased to meet you on this platform. I just read through your job details and I'm available to assist. Let's talk more on deliverables. Warm Regards. Bc

$40 USD 在3天内