✦ LIBER ✦

A Polymorphic Environment Calculus and its Type-Inference Algorithm

✍ Scribed by Shin-Ya Nishizaki

Book ID: 110284959
Publisher: Springer
Year: 2000
Tongue: English
Weight: 190 KB
Volume: 13
Category: Article
ISSN: 1388-3690
DOI: 10.1023/a:1010010314528

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Geometry of exponential type regression

Geometry of exponential type regression models and its asymptotic inference

✍ Wei Bocheng; Ma Yangming 📂 Article 📅 1993 🏛 SP Editorial Committee of Applied Mathematics - A 🌐 English ⚖ 600 KB

Polymorphism, persistence and software r

Polymorphism, persistence and software re-use in a strongly typed object-oriented environment

✍ Morrison, R.; Brown, A.L.; Carrick, R.; Connor, R.C.H.; Dearle, A.; Atkinson, M. 📂 Article 📅 1987 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 719 KB

Algorithm for the generation of SIC pair

Algorithm for the generation of SIC pairs and its implementation in a BIST environment

✍ Voyiatzis, I.; Haniotakis, T.; Halatsis, C. 📂 Article 📅 2006 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 164 KB

Pricing model for equity warrants in a m

Pricing model for equity warrants in a mixed fractional Brownian environment and its algorithm

✍ Wei-Lin Xiao; Wei-Guo Zhang; Xili Zhang; Xiaoli Zhang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 264 KB

A generalized Schur-type algorithm for t

A generalized Schur-type algorithm for the joint factorization of a structured matrix and its inverse

✍ T. Boros; A. H. Sayed; H. Lev-Ari; T. Kailath 📂 Article 📅 1996 🏛 Springer Milan 🌐 English ⚖ 689 KB

Novel NPR1 polymorphic variants and its

Novel NPR1 polymorphic variants and its exclusion as a candidate gene for medullary cystic kidney disease (ADMCKD) type 1

✍ Michael Koptides; Richard Mean; Christoforos Stavrou; Alkis Pierides; Kyproula D 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 82 KB