Yexuan Gui (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		Yexuan Gui, Mitsuhiro Okada: System Description of LAMBDALG - A Higher Order Algebraic Specification Language. LPAR 1993: 354-356
1		Yexuan Gui, Mitsuhiro Okada: LAMBDALG: Higher Order Algebraic Specification Language. RTA 1993: 462-466

Selection of 2 from 3 records - Yexuan Gui has 12 coauthors