Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,218,470 papers from all fields of science
Search
Sign In
Create Free Account
Cabal
Known as:
Cabal softwre
, Cabal (disambiguation)
, Cabal software packaging
Expand
The Haskell Cabal is the Common Architecture for Building Applications and Libraries; it aids in the packaging and distribution of software packages…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
CPAN
Haddock
Haskell
Haskell platform
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom
Yoichi Hirai
Fuji International Symposium on Functional and…
2012
Corpus ID: 16564771
We propose a typed lambda calculus based on Avron's hypersequent calculus for Godel---Dummett logic. This calculus turns out to…
Expand
Review
2011
Review
2011
PAndAS’ PROGENY: EXTENDING THE M31 DWARF GALAXY CABAL
J. Richardson
,
Mike J. Irwin
,
+8 authors
R. Rich
2011
Corpus ID: 56103282
We present the discovery of five new dwarf galaxies, Andromeda XXIII–XXVII, located in the outer halo of M31. These galaxies were…
Expand
2011
2011
Real options valuation of fusion energy R&D programme
D. Bednyagin
,
E. Gnansounou
2011
Corpus ID: 53586071
Review
2009
Review
2009
Concatenate coordination and mutual coordination
D. Klein
,
A. Orsborn
2009
Corpus ID: 416922
Highly Cited
2008
Highly Cited
2008
Situación de la tuberculosis en el Perú
César Antonio Bonilla Asalde
2008
Corpus ID: 70702173
Resumen es: Cada ano se registran 220 000 nuevos casos de tuberculosis en la Region de las Americas y mueren mas de 50 000…
Expand
Highly Cited
2006
Highly Cited
2006
Climatic cycles inferred from the aminostratigraphy and aminochronology of Quaternary dunes and palaeosols from the eastern islands of the Canary Archipelago
J. E. Ortiz
,
Trinidad de Torres
,
+4 authors
María R. Alonso
2006
Corpus ID: 73552142
Aminochronological and aminostratigraphical methods have been used to study the Quaternary aeolian deposits from the islands…
Expand
Review
2005
Review
2005
The Bulging Pocket and the Rule of Law : Corruption , Inequality , and Trust
E. Uslaner
2005
Corpus ID: 6883841
The Bulging Pocket and the Rule of Law: Corruption, Inequality, and Trust Eric M. Uslaner Department of Government and Politics…
Expand
Highly Cited
2003
Highly Cited
2003
Politics, ethno-religious conflicts and democratic consolidation in Nigeria
Ukoha Ukiwo
The Journal of Modern African Studies
2003
Corpus ID: 5733380
This article examines the explosion of violent ethno-religious and communal conflicts in Nigeria, contrary to the widespread…
Expand
1997
1997
Backbench debate within the Conservative Party and its influence on British foreign policy, 1948-57
Sandra D. Onslow
1997
Corpus ID: 154698729
Acknowledgements - Abbreviations - Introduction - Conservative Attitudes to European Integration - The Conservative Party and…
Expand
1989
1989
The culture we deserve
J. Barzun
,
Arthur Krystal
1989
Corpus ID: 143144517
Twelve essays exploring aspects of literacy and art criticism, retrospective sociology and the effects of relativism on moral…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE