Search Results
Showing 1 - 20 results of 46 for search 'parametric polymorphism', query time: 0.47s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Liquori, Luigi
8
Stolze, Claude
8
Andrews, Peter
4
Boursot, Pierre
4
Carneiro, Miguel
4
Cavadino, Alana
4
Farelo, Liliana
4
Mangino, Massimo
4
Melo-Ferreira, José
4
Alves, P. C.
3
Alves, Paulo, C.
3
Boursot, P.
3
Carneiro, M.
3
Doroshenko, Alexander
3
Esteves, P. J.
3
Esteves, Pedro, J.
3
Farelo, L.
3
Heffernan, Courtney
3
Long, Richard
3
Melo-Ferreira, J.
3
Power, Chris
3
Ahi, Ehsan
2
Andrews, P
2
Bennett, AJ
2
Bennett, Amanda J
2
Berry, DJ
2
Berry, Diane J
2
Berry, Diane J.
2
Bussan, Hailey
2
Cavadino, A
2
see all ...
Humans
7
Dependent types
6
Finland
6
Polymorphism
6
Refiner
6
Single Nucleotide
6
Subtyping
6
Type checker
6
Union types
6
2012 ACM Subject Classification Theory of computation → Lambda calculus
5
Developmental Biology
5
Female
5
Male
5
Theory of computation → Proof theory Keywords and phrases Intersection types
5
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
5
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
5
∆-Framework
5
69999 Biological Sciences not elsewhere classified
4
Adolescent
4
Adult
4
Body Height
4
Child
4
Child Development
4
Computational Biology
4
FOS Biological sciences
4
Genetics
4
Genome-Wide Association Study
4
Genotype
4
Infant
4
Newborn
4
see all ...
DataCite Metadata Store (German National Library of Science and Technology)
8
Directory of Open Access Journals: DOAJ Articles
6
HighWire Press (Stanford University)
3
University College London: UCL Discovery
3
BioMed Central
2
Imperial College London: Spiral
2
University of California: eScholarship
2
Université de Nantes: HAL-UNIV-NANTES
2
ArXiv.org (Cornell University Library)
1
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
1
CIRAD: HAL (Agricultural Research for Development)
1
CentAUR: Central Archive at the University of Reading
1
DIAL@UCLouvain (Université catholique de Louvain)
1
DIAL@USL-B (Université Saint-Louis, Bruxelles)
1
Dartmouth Digital Commons (Dartmouth College)
1
Digital Library of University of Maribor
1
EPHE (Ecole pratique des hautes études, Paris): HAL
1
HAL Université Côte d'Azur
1
King's College, London: Research Portal
1
NaRDuS (National Repository of Dissertations in Serbia)
1
PRISM - University of Calgary Digital Repository
1
Umeå University: Publications (DiVA)
1
University of the Balearic Islands (UIB): Digital Library
1
Université de Montpellier: HAL
1
Université de Paris: Portail HAL
1
Université de Rennes 1: Publications scientifiques (HAL)
1
see all ...