Talks

2019

Program synthesis is possibly a way to future software development – thanks to its automation and guarantee of …

Parsing is possibly one of the most successful area that perfectly integrating theory and practice: parsing techniques are founded on …

Many people think that inheritance is the core of Object-oriented (OO) languages. However, it shouldn’t be, as Grady Booch once said, …

Coq is a proof assistant based upon Calculus of Inductive Construction (CIC). It has a formal language for expressing definitions, …

Monad is a stuff that is adored by expert users of the community of a “well-known” functional programming language. …