Haskell Project

Ditutup Disiarkan 1 tahun lepas Dibayar semasa penghantaran

$10-50 USD

Dibayar semasa penghantaran

Ditutup Dibayar semasa penghantaran

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 Kejuruteraan Perl RUST Programming Kejuruteraan Perisian

ID Projek: #36356631

Tentang projek

3 cadangan Projek jarak jauh Aktif 1 tahun lepas

Mencari untuk memperoleh sedikit wang?

Kelebihan membida di Freelancer

Tetapkan bajet dan tempoh masa anda
Dibayar untuk kerja anda
Rangkakan cadangan anda
Ianya percuma untuk mendaftar dan membida pekerjaan

3 pekerja bebas membida secara purata $35 untuk pekerjaan ini

Gambar Profil 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 Lagi

$35 USD dalam 7 hari
(19 Ulasan)
4.1
Gambar Profil 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 Lagi

$30 USD dalam 7 hari
(0 Ulasan)
0.0
Gambar Profil 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 dalam 3 hari
(0 Ulasan)
0.0
Siarkan projek seperti ini