There is of course the second level of punnery. In OCaml, the string conversion functions between types have a pattern that looks something like this: string_of_int. Church_of_Turing seems to be a decent play on that. But of course, in explaining this joke, the frog has been dissected.