Assignment 2: Induction, Coinduction, and Recursion 15-312: Principles of Programming Languages (Fall 2023) In this assignment, we’ll explore generic programming with inductive and coinductive types, em- bedded in Standard ML. In functional programming lingo, this technique is often called “recursion schemes”.1 We will then consider how to formally prove code using inductive and coinductive types […]
Assignment 1: Statics and Dynamics, Safety, and Finite Data Types 15-312: Principles of Programming Languages (Fall 2023) On this assignment, you will implement the statics and dynamics of a simple programming language, PSF, which has product, sum, and function types. You will also prove that the language is safe, showing some cases of progress and
Assignment 5: Concurrency 15-312: Principles of Programming Languages (Spring 2023) This assignment studies concurrency through the lens of a concurrent programming language known as Concurrent Algol (CA). Effectful computations (involving side-effects) distinguish themselves from “pure” computation by involving some sort of interaction. Think IO effects (user interaction) or reference cells (state/mem- ory interaction). We seek
Assignment 0: Judgments, Rules, and Church’s λ-Calculus 15-312: Principles of Programming Languages (Fall 2023) Welcome to 15-312! In this assignment, we will explore foundational concepts in programming languages through the lens of Church’s λ-calculus. In this first assignment, we are introducing the use of inductive definitions of judgments about terms in the λ-calculus. The λ-calculus
Lab Exercises for COMP26020 Part 2: Functional Programming in Haskell Joe Razavi December 8, 2023 The deadline for this lab is 6pm on 16/2/2024. This lab has three exercises, for a total of ten marks. The first two exercises together are worth eight marks, and I advise all students to focus exclusively on these exercises.
COMP26020 Part 2: Functional Programming in Haskell Read More »
OMSCS GEORGIA TECH Distance Vector CS 6250 Spring 2024 Copyright 2021 Georgia Institute of Technology All rights reserved. This is solely to be used for current CS6250 students. Any public posting of the material contained within is strictly forbidden by the Honor code. Table of Contents Distance Vector PROJECT GOAL ……………………………………………………………………………………………………………….. 2 Part 0: Getting
CS6250 Distance Vector Project Description Read More »
# Distance Vector project for CS 6250: Computer Networks # This defines a DistanceVector (specialization of the Node class) # that can run the Bellman-Ford algorithm. The TODOs are all related # to implementing BF. Students should modify this file as necessary, # guided by the TODO comments and the assignment instructions. This # is
CS6250 DistanceVector.py Read More »
* This is the primary high-level API for the project. In this folder there should be: * A class called InsightFacade, this should be in a file called InsightFacade.ts. * You should not change this interface at all or the test suite will not work. export enum InsightDatasetKind { Sections = “sections”, Rooms = “rooms”,
cpsc310 IInsightFacade Read More »
1. Change Log Version 1.0 released on 4th January 2024. 2. Due date: The University of New South Wales COMP3331/9331 Computer Networks and Applications Assignment for Summer Session, 2024 (24T0) Version 1.0 Updates to the assignment, including any corrections and clarifications, will be posted on the WebCMS. Please make sure that you check the subject
COMP3331 COMP9331 Assignment Read More »
CS Android Programming: Homework 1 Peck Overview. You are developing a game. The idea for the game is that the user clicks a button and a sequence of English words appears in the area under the button. Also, each word appears individually (with a light grey background) in the game area, splayed out pretty randomly.
CS371M Android Programming Homework 1 Peck Read More »