Haskell Project

終了済み 投稿 １年前 着払い

$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 エンジニアリング パール RUST Programming ソフトウェアアーキテクチャ

プロジェクトID: #36356631

プロジェクトについて

3個の提案 リモートプロジェクト アクティブ １年前

お金を稼ぎたいと思っていますか？

Freelancerで入札する利点

予算と期限を設定してください
仕事の報酬を受け取りましょう
提案のアウトラインを作成してください
登録して仕事に入札するのは無料です

3人のフリーランサーが、平均$35 で、この仕事に入札しています。

Zied130のプロフィール写真
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のプロフィール写真
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のプロフィール写真
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日以内
(0件のレビュー)
0.0
このようなプロジェクトを投稿する