Do We Need Dependent Types?

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796800003658
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Why Do We Need Memory?

Theatrical Colloquia
2019English

Do We Need Unicorns When We Have Law?

Ratio Juris
Law
2005English

‘Why Do We Need Your Research?’

Journal of Extreme Anthropology
2020English

Why Do We Need Another Journal?

npj Quantum Materials
OpticalElectronicCondensed Matter PhysicsMagnetic Materials
2016English

Do We Need a Global Brain?

TripleC
CommunicationComputer Science Applications
2012English

Do We Still Need Bicarb? 329

Pediatric Research
Child HealthPediatricsPerinatology
1998English

Do We Need a Volume D?

Acta Crystallographica Section A Foundations of Crystallography
1987English

How Many More Numbers Do We Need?

European Journal of Clinical Nutrition
MedicineNutritionDietetics
2017English

Do We Need Dedicated Cardiac SPECT Systems?

Journal of Nuclear Cardiology
Nuclear MedicineRadiologyCardiovascular MedicineImagingCardiology
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy