Mads Tofte (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Mads Tofte" in English language version.

refsWebsite

Global rank English rank

low place

low place

2,513^th place

3,430^th place

itu.dk

M. Tofte and J.-P. Talpin: Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, In Proceedings of POPL 1994
P.H. Eidorff, F. Henglein, C. Mossin, H. Niss, M.H. Sørensen, M. Tofte: AnnoDomini: From type theory to year 2000 conversion tool. In Proceedings of POPL 1999

politiken.dk

Tofte, Mads. "Jeg forlader nu Danmark i protest mod de ekstreme regler, der forhindrer, at min afrikanske adoptivdatter kommer til landet". Politiken. Retrieved 28 January 2019.