Jan van Brügge

LiquidHaskellを使って、実際のプログラミングで時間計算量を証明する方法。