Hideo Bannai (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

14 Eijiro Sumii, Hideo Bannai: The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. Journal of Functional and Logic Programming 2003: (2003)

11 Eijiro Sumii, Hideo Bannai: VM lambda: A Functional Calculusfor Scientific Discovery. FLOPS 2002: 290-304

5 Eijiro Sumii, Hideo Bannai: VM lambda: a Functional Calculus for Scientific Discovery. APLAS 2001: 265-275

Selection of 3 from 63 records - Hideo Bannai has 45 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

14		Eijiro Sumii, Hideo Bannai: The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. Journal of Functional and Logic Programming 2003: (2003)
11		Eijiro Sumii, Hideo Bannai: VM lambda: A Functional Calculusfor Scientific Discovery. FLOPS 2002: 290-304
5		Eijiro Sumii, Hideo Bannai: VM lambda: a Functional Calculus for Scientific Discovery. APLAS 2001: 265-275