Haskell Project

Đã Đóng Đã đăng vào 1 năm trước Thanh toán khi bàn giao

$10-50 USD

Thanh toán khi bàn giao

Đã Đóng Thanh toán khi bàn giao

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 Kĩ thuật Perl RUST Programming Kiến trúc phần mềm

ID dự án: #36356631

Về dự án

3 đề xuất Dự án từ xa 1 năm trước đang mở

Muốn kiếm tiến?

Lợi ích khi chào giá trên Freelancer

Thiết lập ngân sách và khung thời gian của bạn
Nhận thanh toán cho công việc của bạn
Mô tả đề xuất của bạn
Đăng ký miễn phí và chào giá công việc

3 freelancer chào giá trung bình$35 cho công việc này

Ảnh đại diện của 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 Thêm

$35 USD trong 7 ngày
(19 Nhận xét)
4.1
Ảnh đại diện của 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 Thêm

$30 USD trong 7 ngày
(0 Nhận xét)
0.0
Ảnh đại diện của 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 trong 3 ngày
(0 Nhận xét)
0.0
Đăng một dự án tương tự