Haskell Project

Lukket Opslået 1 år siden Betalt ved levering

$10-50 USD

Betalt ved levering

Lukket Betalt 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ørarbejde Perl RUST Programming Software Arkitektur

Projekt ID: #36356631

Om projektet

3 bud Remote projekt Aktiv 1 år siden

Ønsker du at tjene nogle penge?

Fordele ved at byde på Freelancer

Bestem dit budget og din tidsramme
Bliv betalt for dit arbejde
Beskriv dit forslag
Det er gratis et tilmelde sig og byde på jobs

3 freelancere byder i gennemsnit $35 timen for dette job

Zied130's Profilbillede
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 Flere

$35 USD in 7 dage
(19 bedømmelser)
4.1
yourshawonn's Profilbillede
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 Flere

$30 USD in 7 dage
(0 bedømmelser)
0.0
Sochi4real's Profilbillede
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 in 3 dage
(0 bedømmelser)
0.0
Slå et lignende projekt op