Recursion schemes | Category theory

Hylomorphism (computer science)

In computer science, and in particular functional programming, a hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as 'unfolding') followed by a catamorphism (which then folds these results into a final return value). Fusion of these two recursive computations into a single recursive pattern then avoids building the intermediate data structure. This is an example of deforestation, a program optimization strategy. A related type of function is a metamorphism, which is a catamorphism followed by an anamorphism. (Wikipedia).

Hylomorphism (computer science)
Video thumbnail

Computer Science Terminology

Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC

From playlist Computer Science Concepts

Video thumbnail

Computer Science and Homotopy Theory - Vladimir Voevodsky

Vladimir Voevodsky Professor, School of Mathematics April 27, 2011 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

COMPUTER SCIENCE TERMINOLOGY

Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------

From playlist Computer Science

Video thumbnail

The Biggest Misconception about Computer Science Degrees

There are often misconceptions of what to expect from a Computer Science degree and what you learn. One in particular - well, I guess two - are really at the forefront that could give prospective Computer Science students false information. I'd love to hear your thoughts on the subject.

From playlist Computer Science

Video thumbnail

Ash‘arism Encounters Avicennism: Sayf Al-Dīn Al-Āmidī (d. 631/1233) on Creation - Laura Hassan

Author’s Voice Topic: Ash‘arism Encounters Avicennism: Sayf Al-Dīn Al-Āmidī (d. 631/1233) on Creation Speaker: Laura Hassan Affiliation: Associate Faculty Member, Faulty of Oriental Studies, University of Oxford Date: December 9, 2021 Competing theories about the origins of the cosmos ha

From playlist Historical Studies

Video thumbnail

Linguistic Engineering - Computers and Linguistics

This introductory E-Lecture about Linguistic Engineering discusses the role of the computer in linguistics. Furthermore, it defines Artificial Intelligence and Computational Linguistics from a theoretical and a practical point of view. Numerous examples illustrate Handke's main points.

From playlist Linguistic Engineering

Video thumbnail

Why Study Computer Science? | College Majors | College Degrees | Study Hall

What can you do with a Computer Science major? In Computer Science you can expect to study discrete mathematics, probability and statistics, linear algebra, physics and so much more. Basically, Computer Science is the study of computer systems and how they function. If you want to dig de

From playlist Fast Guides: To Electives and Majors

Video thumbnail

Thoughts, Thinking, & Thinkers (Tim Crane - 2017 Frege Lectures)

Professor Tim Crane gives a series of talks called "Thoughts, Thinking, & Thinkers" as part of the 2017 Frege Lectures in theoretical philosophy at the University of Tartu. Note, this is a re-upload. One of Frege’s most famous principles was ‘always to separate sharply the psychological

From playlist Philosophy of Mind

Video thumbnail

COMPUTER SCIENCE TERMINOLOGY 2

Welcome to part two of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We started with the basics in part one and get a bit more complex in this episode. --------------------------------------------

From playlist Computer Science

Video thumbnail

Unix for Programmers - My Computer Science Degree in the Real World

I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu

From playlist Computer Science

Video thumbnail

Monodromy of nFn−1 hypergeometric functions and arithmetic groups I - T.N. Venkatara

Speaker: T. N. Venkataramana (TIFR) Title: Monodromy of nFn−1 hypergeometric functions and arithmetic groups I Abstract: We describe results of Levelt and Beukers-Heckman on the explicit computation of monodromy for generalised hypergeometric functions of one variable. We then discuss the

From playlist Mathematics

Video thumbnail

Creating World Class Computer Science at Stanford

The panelists discussed Stanford's Computer Science Department within the historical context of higher education, technological innovations, and the Silicon Valley. They talked about how it grew from the university’s administrative needs and those of science and engineering research.

From playlist Stanford Historical Society

Video thumbnail

Expanding the Frontiers of Computer Science Education

by Mehran Sahami, Professor (Teaching) of Computer Science, Associate Chair for Education and Director of Educational Affairs, Computer Science, Robert and Ruth Halperin, University Fellow in Undergraduate Education

From playlist Stanford Computer Science 50th Anniversary

Video thumbnail

Summer App Space: Demo Day Keynote Speaker: Professor Coleen Lewis - 8/4/17

Dr. Colleen Lewis is a professor of computer science at Harvey Mudd College who specializes in computer science education. Lewis researches how people learn computer science and how people feel about learning computer science. Her research seeks to identify effective teaching practices for

From playlist Innovation Speaker Series - Summer App Space 2017

Video thumbnail

Everything You Need to Know as a Computer Science Student

Get two months of Skillshare Premium for free --- https://bit.ly/forrestknight18 My answers to every computer science question asked by y'all. What's the best/most useful major in computer science? I want to be a software engineer. (0:33) What part time jobs should I get as a computer s

From playlist Computer Science

Video thumbnail

The Open Source Computer Science Degree

This is my curated list of free courses from reputable universities like MIT, Stanford, and Princeton that satisfy the same requirements as an undergraduate Computer Science degree, minus general education. Everything is open source online and free. My GitHub Repo --- https://github.com/F

From playlist Computer Science

Video thumbnail

Open Source Computer Science Degree

In this video, I will be taking you through the various resources that make up the open-source computer science degree. The OSSU curriculum is a complete education in computer science using online materials. It's not merely for career training or professional development. It's for those wh

From playlist Ethical Hacking & Penetration Testing - Complete Course

Video thumbnail

27c3: Hackers and Computer Science (en)

Speaker: Sergey Although most academics and industry practitioners regard "hacking" as mostly ad-hoc, a loose collection of useful tricks essentially random in nature, I will argue that hacking has in fact become a "distinct research and engineering discipline" with deep underlying engine

From playlist 27C3: We come in peace

Video thumbnail

Panel Discussion on Teaching Computational Social Science

This event held on June 22, 2020 was part of the 2020 SICSS Festival. Speakers: Matti Nelimarkka (SICSS-Princeton 17, SICSS-Helsinki 18, SICSS-Istanbul 19, 20), Rochelle Terman (SICSS-Princeton 17), and Jae Yeon Kim (SICSS-Princeton 19, SICSS-Bay Area 20) Moderator: Matthew Salganik (SIC

From playlist All Videos

Related pages

Operation (mathematics) | Catamorphism | Summation | Isomorphism | Apomorphism | Product (mathematics) | Leaf node | Factorial | Arity | Deforestation (computer science) | Term (logic) | Element (mathematics) | Anamorphism | F-algebra | Morphism | Fold (higher-order function) | Iteration | Function composition | Paramorphism | Recursion (computer science)