1. DTT DTS Previous work Type check./infer. Conclusion References Calculating Projections via Type Checking Daisuke Bekki1,2,3,4 Miho Satoh1 1Ochanomizu University / 2CREST,…
