Haskell Project

Lukket Lagt ut 1 år siden Betales ved levering

$10-50 USD

Betales ved levering

Lukket Betales ved levering

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 Ingeniørvitenskap Perl RUST Programming Programvarearkitektur

Prosjekt-ID: #36356631

Om prosjektet

3 bud Eksternt prosjekt Aktiv 1 år siden

Ønsker du å tjene litt penger?

Fordeler med budgivning på Freelancer

Oppgi ditt budsjett og tidsramme
Få betalt for ditt arbeid
Skisser ditt forslag
Det er gratis å registrere seg og by på jobber

3 frilansere byr i gjennomsnitt $35 for denne jobben

Zied130 sitt profilbilde
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 Mer

$35 USD på 7 dager
(19 Omtaler)
4.1
yourshawonn sitt profilbilde
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 Mer

$30 USD på 7 dager
(0 Omtaler)
0.0
Sochi4real sitt profilbilde
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 på 3 dager
(0 Omtaler)
0.0
Legg ut et slikt prosjekt