Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types

Fern'andez, M. and Mackie, I. and Severi, P. and Szasz, N. (2002) A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types. In: Proc. of the XXVIII Conferencia Latinoamericana de Informatica, (CLEI'02), Montevideo.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:123
Deposited By:Dr Maribel Fernandez
Deposited On:25 Oct 2007 16:17
Last Modified:01 Nov 2007 18:24

Repository Staff Only: item control page