Sergei Winitzki

1 Follower

functional programming scala reflexive chemical abstract machine ocaml actor programming model jocaml concurrent programming join calculus temporal logic reactive programming scripting languages logic programming prolog

Aktivität
Info

"That scripting language called Prolog"

Vor 9 Jahren • 3114 Aufrufe

Temporal logic and functional reactive programming

Vor 9 Jahren • 2991 Aufrufe

Introduction to join calculus

Vor 9 Jahren • 2155 Aufrufe

Elm talk bayhac2015

Vor 8 Jahren • 921 Aufrufe

Functional programming-advantages

Vor 3 Jahren • 130 Aufrufe

Winitzki-QFTCS-course-2006

Vor 9 Jahren • 577 Aufrufe

An Algebraic Data Model for Graphs and Hypergraphs (Category Theory meetup, November 2019)

Joshua Shinavier • Vor 4 Jahren

Domain specific languages and Scala

Filip Krikava • Vor 10 Jahren