Hanne Riis Nielson

Hanne Riis Nielson

Technical University of Denmark - Kongens Lyngby / Denmark
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1464930
Danmarks Tekniske Universitet
person_outline Hanne Riis Nielson's MOST POPULAR ARTICLES
1-) Principles of program analysisF Nielson, HR Nielson, C HankinSpringer Science & Business Media, 200429672004
2-) Semantics with applications: an appetizerHR Nielson, F NielsonSpringer Science & Business Media, 2007966*2007
3-) Two-level functional languagesF Nielson, HR NielsonCambridge university press, 19922451992
4-) Type and effect systemsF Nielson, HR Nielson, C Hankin, F Nielson, HR Nielson, C HankinPrinciples of Program Analysis, 283-363, 19992061999
5-) Higher-order concurrent programs with finite communication topologyHR Nielson, F NielsonProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 19941781994