[WITS'24] Type inference for application spines | ACM SIGPLAN | Podwise