Joshua Schneider

 

Entries

2020

April 10: Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows

April 9: Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations

 

2019

July 4: Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic

 

2018

April 24: Bounded Natural Functors with Covariance and Contravariance

 

2017

May 5: Monad normalisation

 

2015

December 22: Applicative Lifting