Type systems | Type theory

Session type

In type theory, session types are used to ensure correctness in concurrent programs. They guarantee that messages sent and received between concurrent programs are in the expected order and of the expected type. Session type systems have been adapted for both channel and actor systems. Session types are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance. (Wikipedia).

Video thumbnail

the Internet (part 2)

An intro to the core protocols of the Internet, including IPv4, TCP, UDP, and HTTP. Part of a larger series teaching programming. See codeschool.org

From playlist The Internet

Video thumbnail

Live Stream: Process control in C

Using fork(), exec(), and wait() in C programs. And, if there's time and interest, threading in Java.

From playlist C Programming

Video thumbnail

Spring Tutorial 32 - Around Advice Type

This tutorial covers the Around advice type. We'll learn how to use it, and we'll also look at some of the unique and powerful features that are specific to this advice type.

From playlist Spring AOP

Video thumbnail

the Internet (part 1)

An intro to the core protocols of the Internet, including IPv4, TCP, UDP, and HTTP. Part of a larger series teaching programming. See codeschool.org

From playlist The Internet

Video thumbnail

Operating system for beginners || Operating system basics

An operating system (OS) is system software that manages computer hardware, software resources, and provides common services for computer programs. Time-sharing #operating_systems schedule tasks for efficient use of the system and may also include accounting software for cost allocation o

From playlist Operating System

Video thumbnail

Spring Tutorial 31 - After Advice Types

We'll learn about the After Advice types: After (finally), AfterReturning and AfterThrowing.

From playlist Spring AOP

Video thumbnail

How To Build A Gym Management System | Session 14 | C# | #asp.net

Don’t forget to subscribe! This project series will cover all the necessary details (resources, tools, languages, etc) to build an operational Gym Management system. You will be guided through all the steps and concepts, starting from the basic ones like setting up the right tools and fr

From playlist How To Build A Gym Management System

Video thumbnail

PERL Tutorial - 1 | PERL Tutorial for Beginners - 1 | Perl Scripting Language Tutorial | Edureka

( https://www.edureka.co/mastering-perl-scripting-self-paced ) Perl is one of the most popular open source interpreted programming languages with a huge number of programmers, libraries and resources. Programmers are using Perl from decades because of its extensive libraries, consistently

From playlist Perl Scripting Tutorial Videos

Video thumbnail

How To Build A Gym Management System | Session 07 | C# | #asp.net

Don’t forget to subscribe! This project series will cover all the necessary details (resources, tools, languages, etc) to build an operational Gym Management system. You will be guided through all the steps and concepts, starting from the basic ones like setting up the right tools and fr

From playlist How To Build A Gym Management System

Video thumbnail

How To Build A Gym Management System | Session 02 | C# | #asp.net

Don’t forget to subscribe! This project series will cover all the necessary details (resources, tools, languages, etc) to build an operational Gym Management system. You will be guided through all the steps and concepts, starting from the basic ones like setting up the right tools and fr

From playlist How To Build A Gym Management System

Video thumbnail

Your Career

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Your Career

Video thumbnail

How To Become Azure Administrator Associate | Session 10 | #programming

Don’t forget to subscribe! In this project, you learn how to become an Azure administrator associate. In this tutorial, we will fully cover Exam AZ-100: Microsoft Azure Infrastructure and Deployment and Exam AZ-101: Microsoft Azure Integration and Security which are the first part of g

From playlist Become Azure Administrator Associate

Video thumbnail

How To Build A Gym Management System | Session 04 | C# | #asp.net

Don’t forget to subscribe! This project series will cover all the necessary details (resources, tools, languages, etc) to build an operational Gym Management system. You will be guided through all the steps and concepts, starting from the basic ones like setting up the right tools and fr

From playlist How To Build A Gym Management System

Video thumbnail

How To Build A Gym Management System | Session 03 | C# | #asp.net

Don’t forget to subscribe! This project series will cover all the necessary details (resources, tools, languages, etc) to build an operational Gym Management system. You will be guided through all the steps and concepts, starting from the basic ones like setting up the right tools and fr

From playlist How To Build A Gym Management System

Video thumbnail

How To Create Top-Down RPG For Game In Unity | Session 02 | #unity | #gamedev

Don’t forget to subscribe! In this project series, we will learn to create a Top-Down RPG in Unity for the enemy game. We will develop a great RPG enemy AI. In this series, we'll be analyzing and experimenting with different types of enemies, AI, behaviors, and also randomly generating t

From playlist Create Top-Down RPG For Game In Unity

Video thumbnail

Unity Tutorial | How To Create A City Builder Game In Unity | Session 03 | #unity | #gamedev

Don’t forget to subscribe! In this Unity tutorial, you will learn to create a city builder game in Unity. City Builder games are one of the most popular games in the mobile market, so it is definitely an important Unity game to have in your portfolio. In this tutorial, we’ll be creating

From playlist Create A City Builder Game In Unity

Video thumbnail

Ethereum Token Standards | Fungible & Non-fungible Tokens | Session 07 | #ethereum

Don’t forget to subscribe! Ethereum tokens that can be bought, sold, or traded, have become the backbone of the Ethereum ecosystem, innovative companies use them as internal currencies within their ecosystem. Some are listed on exchanges and act like shares of the company and some become

From playlist Fungible & Non-Fungible Tokens

Video thumbnail

How To Build A Gym Management System | Session 08 | C# | #asp.net

Don’t forget to subscribe! This project series will cover all the necessary details (resources, tools, languages, etc) to build an operational Gym Management system. You will be guided through all the steps and concepts, starting from the basic ones like setting up the right tools and fr

From playlist How To Build A Gym Management System

Related pages

Data type | Scala (programming language) | Type theory | Boolean data type | Integer | Erlang (programming language) | Actor model