14,029 followers arxiv @arxiv_org Probabilistic Resource Analysis by Program Transformation. https://t.co/dp5kgiyetk https://t.co/VomonKEWIY 04 Aug 2016 Reply Repost Favourite