Janis Voigtländer | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Oliver Westphal
2 publications

research

∙ 08/21/2020

Describing Console I/O Behavior for Testing Student Submissions in Haskell

We present a small, formal language for specifying the behavior of simpl...

0 Oliver Westphal, et al. ∙

research

∙ 08/21/2019

Free Theorems Simply, via Dinaturality

Free theorems are a popular tool in reasoning about parametrically polym...

0 Janis Voigtländer, et al. ∙