
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’
*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
Papers for author ‘Nada Amin’: 1
Number of published SCIE papers by year
*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
conference information
Papers relevant to ‘Programming language’: 4
Research performance of Top-tier Conference matching with ‘Programming language’
*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
Functional pearl: a SQL to C compiler in 500 lines of code
2015/08 ICFP Top-tier Conference 22 citations
Papers for author ‘Nada Amin’: 4
Number of published Top-tier Conference by year
*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
Functional pearl: a SQL to C compiler in 500 lines of code
2015/08 ICFP Top-tier Conference 22 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar