프로젝트 등록

Haskell Project

종료 등록 시간: 1년 전 착불

$10-50 USD

착불

종료 착불

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.

하스켈 공학 Perl RUST Programming 소프트웨어 아키텍처

프로젝트 ID: #36356631

프로젝트 소개

3 건(제안서) 재택 근무형 프로젝트 서비스 이용 중: 11 달 전

돈을 벌기 원하시나요?

Freelancer 서비스를 이용한 입찰 시의 장점

예산 한도 및 기간의 설정

작업 결과에 대한 급여 수급

제안서의 개요 작성

회원 가입과 입찰 참여는 무료

이 일자리에 대한 프리랜서 3 명의 평균 입찰가: $35

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 기타

$35 USD (7일 이내)

(19 리뷰)

4.1

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 기타

$30 USD (7일 이내)

(0 리뷰)

0.0

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 (3일 이내)