Haskell Project

Cerrado Publicado hace un año Pagado a la entrega

$10-50 USD

Pagado a la entrega

Cerrado Pagado a la entrega

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 Ingeniería Perl RUST Programming Arquitectura de software

Nº del proyecto: #36356631

Sobre el proyecto

3 propuestas Proyecto remoto Activo hace un año

¿Quieres ganar algo de dinero?

Beneficios de ofertar en Freelancer

Establece tu presupuesto y plazo
Cobra por tu trabajo
Describe tu propuesta
Registrarse y ofertar en los trabajos es gratis

3 freelancers están ofertando un promedio de $35 por este trabajo

Foto de perfil de 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 Más

$35 USD en 7 días
(19 comentarios)
4.1
Foto de perfil de 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 Más

$30 USD en 7 días
(0 comentarios)
0.0
Foto de perfil de 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 en 3 días
(0 comentarios)
0.0
Publicar un proyecto como este