✦ LIBER ✦

A principled approach to programming with nested types in Haskell

✍ Scribed by Patricia Johann; Neil Ghani

Publisher: Springer
Year: 2009
Tongue: English
Weight: 640 KB
Volume: 22
Category: Article
ISSN: 1388-3690
DOI: 10.1007/s10990-009-9047-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A principled approach to intervention wi

A principled approach to intervention with families in the newborn period

✍ Jay Belsky 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 617 KB

Intervention with children and their families is today more widespread than ever. Special programs are being conducted in homes, in community centers, in schools, and in hospitals-by social workers, psychologists, doctors, and nurses. The primary goals of these programs are to remediate problems and

Selectivity in the reactions of less sta

Selectivity in the reactions of less stable carbocations with magnesium halides in aprotic solvents. A theoretical approach to the constant selectivity principle

✍ A.García Martínez; R.Martínez Alvarez; E. Teso Vilar; A. García Fraile; J. Osío 📂 Article 📅 1995 🏛 Elsevier Science 🌐 French ⚖ 370 KB

A limited sampling method to estimate me

A limited sampling method to estimate methotrexate pharmacokinetics in patients with rheumatoid arthritis using a Bayesian approach and the population data modeling program P-PHARM

✍ F. Bressolle; L. Edno; C. Bologna; J. Sany; J. C. Bernard; B. Combe; R. Gomeni 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 806 KB

This paper describes a methodology to calculate methotrexate (MTX) pharmacokinetic parameters after intramuscular administration using two samples and the population parameters. Total and free MTX were measured over a 36-h period in 56 rheumatoid arthritis patients; 14 patients were studied after a

A focused preconceptional and early preg

A focused preconceptional and early pregnancy program in women with Type 1 diabetes reduces perinatal mortality and malformation rates to general population levels

✍ Sherrie S. McElvy; Menachem Miodovnik; Barak Rosenn; Jane C. Khoury; Tariq Siddi 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 124 KB

## Objective: To evaluate the impact of a focused preconceptional and early pregnancy program specializing in the care of women with type 1 diabetes on perinatal mortality and congenital malformations. ## Methods: This clinical study included women with type 1 diabetes in an interdisciplinary dia

A new approach and some criteria to deal

A new approach and some criteria to deal with the theory of the normal modes of vibrations in the elpasolite stoichiometric type systems short range intramolecular interactions

✍ Roberto Acevedo; Andrés Soto-Bubert; Paul Bosch; W. Strek 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 600 KB

A Singular Control Approach to Highly Da

A Singular Control Approach to Highly Damped Second-Order Abstract Equations and Applications footnote{This research was made possible by NATO Collaborative Research Grant SA.5-2-05 (CRG.940161) 274/94/JARC-501, whose support is gratefully acknowledged. The research of I. Lasiecka and R. Triggiani was supported also by the National Science Foundation under Grant NSF-DMS-92-04338. The research of L. Pandolfi was written with the programs of GNAFA-CNR. The main results of the present paper were announced in [LPT]}.

✍ I. Lasiecka; L. Pandolfi, R. Triggiani 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 376 KB