Nada Amin

Harvard University

Assistant Professor

Computer Science (SEAS)

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Programming language#Scala#Theoretical computer science#Compiler#Interpreter#Functional programming#Partial evaluation#Object type#Subtyping

SCIE paper information

Papers relevant to ‘Programming language’: 1

Research performance of SCIE papers matching with ‘Programming language’

Citations of SCIE papers SCIE papers 02004006008001k012345678

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • A SQL to C compiler in 500 lines of code

    2019/01 JOURNAL OF FUNCTIONAL PROGRAMMING 0.595 Impact Factor 0 citations

    Tiark Rompf, Nada Amin

    DOI : 10.1017/S0956796819000054

How can I correct errors in PhD.GO?


Papers for author ‘Nada Amin’: 1

Number of published SCIE papers by year

012342019
H-index 0
Number of NCS papers 0

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • A SQL to C compiler in 500 lines of code

    2019/01 JOURNAL OF FUNCTIONAL PROGRAMMING 0.595 Impact Factor 0 citations

    Tiark Rompf, Nada Amin

    DOI : 10.1017/S0956796819000054

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Programming language’: 4

Research performance of Top-tier Conference matching with ‘Programming language’

Citations of Top-tier Conference Top-tier Conference paper(s) 04008001.2k1.6k2k0246810121416

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Type soundness proofs with definitional interpreters

    2017/01 POPL Top-tier Conference 67 citations

    Nada Amin, Tiark Rompf

    DOI : 10.1145/3009837.3009866

  • Functional pearl: a SQL to C compiler in 500 lines of code

    2015/08 ICFP Top-tier Conference 22 citations

    Tiark Rompf, Nada Amin

    DOI : 10.1145/2784731.2784760

How can I correct errors in PhD.GO?


Papers for author ‘Nada Amin’: 4

Number of published Top-tier Conference by year

01234201520172018
Top-tier Conference 4

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Type soundness proofs with definitional interpreters

    2017/01 POPL Top-tier Conference 67 citations

    Nada Amin, Tiark Rompf

    DOI : 10.1145/3009837.3009866

  • Functional pearl: a SQL to C compiler in 500 lines of code

    2015/08 ICFP Top-tier Conference 22 citations

    Tiark Rompf, Nada Amin

    DOI : 10.1145/2784731.2784760

How can I correct errors in PhD.GO?