Haskell Project

Închis Postat la acum 1 an S-au achitat serviciile după ce au fost prestate

$10-50 USD

S-au achitat serviciile după ce au fost prestate

Închis S-au achitat serviciile după ce au fost prestate

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 Inginerie Perl RUST Programming Arhitectură software

ID Proiect: #36356631

Detalii despre proiect

3 propuneri Proiect la distanță Activ acum 1 an

Vrei să câştigi ceva bani?

Avantajele licitațiilor de pe Freelancer.com

Setează-ți bugetul și intervalul de timp
Îți primești plata pentru serviciile prestate
Evidențiază-ți propunerea
Te înregistrezi și licitezi gratuit pentru proiecte

3 freelanceri plasează o ofertă medie de 35$ pentru proiect

Fotografia de profil a utilizatorului 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 Mai multe

$35 USD în 7 zile
(19 recenzii)
4.1
Fotografia de profil a utilizatorului 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 Mai multe

$30 USD în 7 zile
(0 recenzii)
0.0
Fotografia de profil a utilizatorului 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 în 3 zile
(0 recenzii)
0.0
Postează un proiect similar