Basic Programming language for Computable Functions

$10-80 AUD

Закрито

Опублікований

about 1 year ago

$10-80 AUD

Оплачується при отриманні

Haskell project 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. bid only if you have the skills to discuss more

Machine Learning (ML)

ID проекту: 36367210

Про проект

5 пропозицій(-ї)

Дистанційний проект

Активність 1 yr ago

Хочете заробити?

Переваги подання заявок на Freelancer

Вкажіть свій бюджет та терміни

Отримайте гроші за свою роботу

Опишіть свою пропозицію

Реєстрація та подання заявок у проекти є безкоштовними

5 фрілансерів(-и) готові виконати цю роботу у середньому за $244 AUD

@sajjadtaghvaeifr

Hi, I hope you are doing fine. I have almost 10 years of experience in machine learning algorithms. I can implement various types of artificial intelligence algorithms including yours with Matlab, Python and etc. I have PhD from Tohoku University and have several journal publications on the subjects. You can see portfolio for my previous projects. I read about your project and am interested in working with you. Please send me a message so that we can discuss more. Best regards.

$1 000 AUD за 7 дні(-в)

5,0

(28 відгуки(-ів))

6,5

@JoaquinMan98

Hey I can help you with this Basic Programming language, I am a Computer Scientist and in the university we work a lot with lambda calculus and Haskell, we even do a similar task as the one you request.

$45 AUD за 7 дні(-в)

0,0

(0 відгуки(-ів))

0,0

@Noorulamin331

Hi, I have read your project details. I am interested in your work. You can message me, your work related to my expertise and I am sure I can do it. You can discuss it with me, thanks. I am available right now

$50 AUD за 3 дні(-в)

0,0

(0 відгуки(-ів))

0,0

@sonarkaushik

Sir, I am well versed in these kind of jobs and can do your project as per requirement. I have over 12 years of experience. I am very much able to work on this. ***I am ready to start Waiting to hear from you. with thanks and regards

$75 AUD за 3 дні(-в)

0,0

(0 відгуки(-ів))

0,0

@razerman

Nice to meet you. I am very glad to see your project. I have checked your requirement. I have some experience in Python programming. I want to have a discussion with you about the project. Then, I will share my opinions about your project. I will wait for your response. Regards.

$50 AUD за 10 дні(-в)