Results 221 to 230 of about 365,826 (256)

Realisability semantics of parametric polymorphism, general references and recursive types

Mathematical Structures in Computer Science, 2010
L. Birkedal, Kristian Støvring, Jacob Thamsborg   +2 more
semanticscholar   +1 more source

Typed Normal Form Bisimulation for Parametric Polymorphism

2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008
Søren B. Lassen, P. Levy
semanticscholar   +1 more source

Reflexive graphs and parametric polymorphism

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994
E. Robinson, G. Rosolini
semanticscholar   +1 more source

Polymorphism is Set Theoretic, Constructively

Category Theory and Computer Science, 1987
A. Pitts
semanticscholar   +1 more source

Categorical data types in parametric polymorphism

Mathematical Structures in Computer Science, 1994
R. Hasegawa
semanticscholar   +1 more source

Intersection types and bounded polymorphism

Mathematical Structures in Computer Science, 1993
B. Pierce
semanticscholar   +1 more source

Improving patient and caregiver outcomes in oncology: Team‐based, timely, and targeted palliative care

Ca-A Cancer Journal for Clinicians, 2018
David Hui, Camilla Zimmermann, Eduardo Bruera   +2 more
exaly  

Patient navigation: An update on the state of the science

Ca-A Cancer Journal for Clinicians, 2011
Kristen J Wells
exaly  

Practical clinical interventions for diet, physical activity, and weight control in cancer survivors

Ca-A Cancer Journal for Clinicians, 2015
Wendy Demark-Wahnefried, Laura Q Rogers, Catherine M Alfano   +2 more
exaly  

A first-order theory of types and polymorphism in logic programming

[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, 1991
M. Kifer, James Wu
semanticscholar   +1 more source