Modular Compositional And Executable Formal

Modular

Want to build your own programming language? LLVM is a tool for building and optimizing compilers and forms the backbone of ...

Modular

Download this episode's code from the Kea Campus (Creator tier or higher): ...

In this talk,

The basics of OCaml's module system Textbook: https://cs3110.github.io/textbook.

CMake is the build system chosen by most of the C++ open source projects. While it is fully capable of helping you enforce a good ...

Reasoning about large systems requires reasoning about many different abstractions. For example, we can reason about state ...

On the design and implementation of

How to define

Programming Languages Must Have

Gaby Dos Reis - Programming in the Large With C++ 20 - Meeting C++ 2020 Keynote Read up on the IFC Specification: ...

Learn about the K's background and the Solidity semantics in the K framework.

https://pldi22.sigplan.org/details/pldi-2022-pldi/20/

This talk was recorded at NDC TechTown in Kongsberg, Norway. #ndctechtown #ndcconferences #developer ...

Written by Marcin Moskała More on https://kt.academy/ Join our newsletter: https://newsletter.kt.academy/sign-up ...