Data Structures & Functional Programming | Cornell University CS 3110

Cornell University

Explore advanced programming paradigms, including functional and concurrent programming, with Cornell University's CS 3110 course. Develop elegant, efficient, and correct software designs.

University CoursesAlgorithmFunctional ProgrammingOCaml

Introduction

CS 3110 is the third programming course in the Computer Science curriculum, following CS 1110/1112 and CS 2110. The goal of the course is to help students become excellent programmers and software designers who can design and implement software that is elegant, efficient, and correct, and whose code can be maintained and reused.

screenshot

Highlights

  • Uses Objective Caml (OCaml), a modern functional programming language with advanced type and module systems
  • Focuses on alternative programming paradigms, especially functional and concurrent programming
  • Emphasizes reasoning about the correctness, space, and time of programs
  • Provides a framework for ensuring code is modular, correct, re-usable, and elegant

Recommendation

This course is recommended for students who want to expand their programming skills beyond the object-oriented paradigm and gain experience with functional programming. It is particularly useful for students interested in software design, programming languages, and the theoretical foundations of computer science.

How GetVM Works

Learn by Doing from Your Browser Sidebar

Access from Browser Sidebar

Access from Browser Sidebar

Simply install the browser extension and click to launch GetVM directly from your sidebar.

Select Your Playground

Select Your Playground

Choose your OS, IDE, or app from our playground library and launch it instantly.

Learn and Practice Side-by-Side

Learn and Practice Side-by-Side

Practice within the VM while following tutorials or videos side-by-side. Save your work with Pro for easy continuity.

Explore Similar Hands-on Tutorials

A Field Guide To Genetic Programming

30
Technical TutorialsAlgorithm
Comprehensive guide to genetic programming, covering evolutionary algorithms, computational biology, and advanced programming techniques. Valuable resource for computer scientists, biologists, and researchers.

Algorithms | Fundamental Concepts & Techniques

19
Technical TutorialsAlgorithmData Structures
Comprehensive guide to the fundamental concepts and techniques in the field of algorithms, covering discrete mathematics, data structures, and algorithm analysis.

Algorithms and Data Structures - With Applications to Graphics and Geometry

27
Technical TutorialsAlgorithmData Structures
Explore algorithms, data structures, and their practical applications in graphics and geometry. Suitable for beginners and experienced learners.

Data Structures | Algorithms | Efficient Software Systems

16
Technical TutorialsAlgorithmData Structures
Comprehensive guide to data structures and algorithms, covering arrays, linked lists, stacks, queues, trees, and more. Ideal for students, developers, and professionals seeking to build efficient software systems.

Data Structures (Into Java)

9
Technical TutorialsAlgorithmData StructuresJava
Comprehensive guide to understanding and implementing data structures using Java, covering arrays, linked lists, stacks, queues, trees, and more.

Data Structures and Algorithm Analysis in C++

7
Technical TutorialsAlgorithmC++
Comprehensive guide to data structures, algorithms, and problem-solving using C++. Suitable for students and professionals interested in algorithmic problem-solving.

Elementary Algorithms | Fundamental Algorithms and Data Structures

27
Technical TutorialsAlgorithmData Structures
Comprehensive introduction to fundamental algorithms and data structures, including sorting, searching, and algorithm design. Suitable for beginners and professionals.

Essential Algorithms | Comprehensive Guide to Algorithms and Data Structures

25
Technical TutorialsAlgorithmData Structures
Enhance your programming and problem-solving skills with Essential Algorithms, a comprehensive guide covering essential concepts for beginners and advanced programmers.

Learning Algorithm | Algorithms, Data Structures, Problem-Solving

26
Technical TutorialsAlgorithmData Structures
Explore a wide range of algorithms, from fundamental data structures to advanced techniques like dynamic programming and graph algorithms. Gain practical knowledge for software engineering and problem-solving.