Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-1

Implementing Typeful Program Transformations

Chiyan Chen, Rui Shi, Hongwei Xi

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-3

CoCaml: Functional Programming with Regular Coinductive Types

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2

Substructural Meta-Theory of a Type-Safe Language for Web Programming

Iliano Cervesato, Thierry Sans

Fundamenta Informaticae

Retricted access

Research article

First published 2016-5

The effect of grouping and program type on scholastic and affective outcomes in the Mawhiba schools partnership initiative

Adel A Batterjee

Gifted Education International

Free access

Research article

First published 2017-1

Impact of Disease Management Programs on HbA1c Values in Type 2 Diabetes Patients in Germany

Karel Kostev, Timo Rockel, Louis Jacob

Journal of Diabetes Science and Technology

Retricted access

Research article

First published 2025

What Makes a Difference for Graduates’ Success: Exploring Program Type,Duration,and Socioeconomic Status for Policy Reforms in Higher Education

Dai Xiaoli, Gazi Mahabubul Alam, Karima Bashir [...]

International Journal of Educational Reform

Retricted access

Research article

First published 2010-8

Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques Fleuriot, Alan Smaill

Fundamenta Informaticae

Retricted access

Research article

First published 2022-02-02

The solution for type-2 fuzzy linear programming model based on the nearest interval approximation

Xiaofei Li, Binhua Ye, Xinwang Liu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2025

Metabolic,self-care and mental health characteristics of patients with type 2 diabetes in a hybrid (face-to-face and virtual) comprehensive care program

Luz Elena Urbina Arronte, María Teresa Alcántara Garcés, Ariadna Ochoa Ramírez [...]

Therapeutic Advances in Endocrinology and Metabolism

Retricted access

Research article

First published 1978-5

Timing in the Motor Programming of Typing

L. H. Shaffer

Quarterly Journal of Experimental Psychology

Search results