| O.I. Hougaard, M. Schwartzbach, and H. Askari. Type inference of Turbo Pascal. Software---Concepts and Tools, (16):160--169, 1995. |
....language such as Java byte code might seem to be ill conceived. However, although type inference has primarily found favour in the functional language community, there is no reason why it cannot be applied to imperative languages. Successful examples of such application include dialects of Pascal [17] and C [18] Acknowledgements. Stephen Gilmore is supported by the Distributed Commit Protocols grant from the EPSRC and by Esprit Working group FIREworks. ....
O.I. Hougaard, M. Schwartzbach, and H. Askari. Type inference of Turbo Pascal. Software---Concepts and Tools, (16):160--169, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC