gulp>> ILFP-Assignments>> 返回
项目作者： nilax97

项目描述 ：
Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi
高级语言： TeX
项目地址: git://github.com/nilax97/ILFP-Assignments.git
创建时间： 2020-03-15T11:32:48Z
项目社区：https://github.com/nilax97/ILFP-Assignments
开源协议：MIT License
下载


ILFP-Assignments

Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

Assignment 1

Implementing Karatsuba’s algorithm for multiplication and creating a large number factorial function in SML

For more details refer to problem statement

Assignment 2

Recovering a binary tree from it’s inorder traversal using minimal information with SML

For more details refer to problem statement

Details of implementation in report

Assignment 3

Generating the normal form for any input in structural language FL(X) in SML

For more details refer to problem statement

Assignment 4

Generating the normal form for any input in structural language ΛFL(X) which extends FL(X) with Lambda Calculus and recursion in SML

For more details refer to problem statement

Assignment 5

Making a ridoku solver in prolog

For more details refer to problem statement

problem_statement_1647613260198.pdf
Rambling through Woods on a Sunny Morning_1647613260222.pdf
output_1647613260281.pdf
problem_statement_1647613260361.pdf
problem_statement_1647613260405.pdf
problem_statement_1647613260445.pdf
problem_statement_1647613260483.pdf
problem_statement_1647613260516.pdf
problem_statement_1650285066012.pdf
problem_statement_1650285066172.pdf
problem_statement_1650285066302.pdf
problem_statement_1650285066539.pdf
problem_statement_1650285066669.pdf
problem_statement_1650285065147.pdf
Rambling through Woods on a Sunny Morning_1650285065492.pdf
output_1650285065776.pdf