Haskell Project

Chiuso Pubblicato 1 anno fa Pagato alla consegna

$10-50 USD

Pagato alla consegna

Chiuso Pagato alla consegna

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 Ingegneria Perl RUST Programming Architettura Software

Rif. progetto: #36356631

Info sul progetto

3 proposte Progetto a distanza Attivo 1 anno fa

Vuoi guadagnare?

I vantaggi di fare offerte su Freelancer

Imposta il tuo budget e i tempi previsti
Fatti pagare per il lavoro svolto
Delinea la tua proposta
La registrazione e le offerte sui lavori sono gratuite

3 freelance hanno fatto un'offerta media di $35 per questo lavoro

Immagine del profilo di 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 Altro

$35 USD in 7 giorni
(19 valutazioni)
4.1
Immagine del profilo di 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 Altro

$30 USD in 7 giorni
(0 valutazioni)
0.0
Immagine del profilo di 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 in 3 giorni
(0 valutazioni)
0.0
Pubblica un progetto simile