Jonathan Sterling

Uma exploração do papel da teoria dos tipos em estruturar relações matemáticas e computacionais.

Descubra a importância da programação sensível a custos na otimização da gestão de recursos.

Um olhar sobre gráficos reflexivos e suas aplicações através de lentes.