Search Sciweavers | Sciweavers

18429 search results - page 373 / 3686

» Typing dynamic typing

147

click to vote

ESWA
2007

107views more ESWA 2007»

Hierarchy as a new data type for qualitative variables

15 years 6 months ago

Download www.cic.ipn.mx

Serguei Levachkine, Adolfo Guzmán-Arenas

claim paper

Read More »

click to vote

ETS
2007
IEEE

101views Hardware» more ETS 2007»

Educational Technology and Practice: Types and Timescales of Change

15 years 6 months ago

Download www.ifets.info

David Riley

claim paper

Read More »

122

click to vote

MLQ
2006

68views more MLQ 2006»

On the proof theory of type two functionals based on primitive recursive operations

15 years 6 months ago

Download www.iam.unibe.ch

This paper is a companion to work of Feferman, J

David Steiner, Thomas Strahm

claim paper

Read More »

172

click to vote

OL
2008

61views more OL 2008»

Note on Mond-Weir type nondifferentiable second order symmetric duality

15 years 6 months ago

Download faculty.kfupm.edu.sa

In this paper, we point out some inconsistencies in the earlier work of Ahmad and Husain (Appl. Math. Lett. 18, 721

Z. Husain, I. Ahmad

claim paper

Read More »

131

click to vote

MSCS
2006

88views more MSCS 2006»

Types and typechecking for Communicating Quantum Processes

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers