Linear Types Ivan Cukic Meeting

Linear Types Ivan Cukic Meeting

C++ is a language celebrated for its abstraction mechanisms that do not incur performance penalties at runtime. It is often used in ...

C++ is a language celebrated for its abstraction mechanisms that do not incur performance penalties at runtime. It is often used in ...

This talk introduces my master thesis on the Idris2 compiler, introduces

Today, most software systems have the need for some sort of concurrency. This poses problems regarding the software design.

A new look at TMP

Meeting

Video from Italian C++ Community Event page: https://italiancpp.org/itcppcon20 About the talk C++ is a language celebrated for its ...

This week we chat with

Monadic Party 2019 - https://monadic.party.

Awaiting for the ranges: C++17

Ivan Cukic

Подробнее о конференции C++ Russia: https://jrg.su/9Sszhd — — . . . RAII usually releases all the acquired resources in our ...

Functional programming is often said to be necessary in multi-threaded environments, but that is only one part of the story.

Meeting

Type

Qt World Summit 2015, OCTOBER 5-7, BERLIN, GERMANY Reactive programming and Qt: Reactive programming is an ...

... reactive programming in C++ -

Is there a use for