Browsing by Author XUE, M

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 8 of 8
TitleAuthor(s)Issue DateViews
 
A dependently typed calculus with polymorphic subtyping
Journal:Science of Computer Programming
2021
10
 
2017
81
 
2022
7
 
2017
67
 
Oxidative stress-mediated reperfusion injury: mechanism and therapies
Journal:Oxidative Medicine and Cellular Longevity
2014
45
 
2019
48
 
1998
131
 
2015
45