71,693 Hits in 3.7 sec

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016  
Long Live Sound Gradual Typing In the context of current implementation technology, sound gradual typing is dead.  ...  If applying our method to other gradual type system implementations yields similar results, then sound gradual typing is dead.  ... 
doi:10.1145/2837614.2837630 dblp:conf/popl/TakikawaFGNVF16 fatcat:incs2utbkrfotes5djglnrwiwu

Sound gradual typing: only mostly dead

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, Sam Tobin-Hochstadt
2017 Proceedings of the ACM on Programming Languages  
While gradual typing has proven itself attractive to programmers, many systems have avoided sound gradual typing due to the run time overhead of enforcement.  ...  On typical benchmarks, Pycket is able to eliminate more than 90% of the gradual typing overhead.  ...  The Indiana METACyt Initiative at IU is also supported in part by Lilly Endowment, Inc.  ... 
doi:10.1145/3133878 dblp:journals/pacmpl/BaumanBST17 fatcat:ls3lhv6rdjhhhiwh64nog3bfi4

Is Liberalism Dead?

Max Savelle
1957 The historian  
Is Liberalism Dead?  ...  London, 1941), I, 64-65. 6 Is Liberalism Dead?  ... 
doi:10.1111/j.1540-6563.1957.tb01980.x fatcat:5hb4a7mvprfwbdgjaueujwfo3y

Is Liberalism Dead?

Max Savelle
1957 The historian  
Is Liberalism Dead?  ...  London, 1941), I, 64-65. 6 Is Liberalism Dead?  ... 
doi:10.1111/j.1540-6563.1957.tb01821.x fatcat:yytuqrhmqrcibp63xhokjpbxue

Dead Corals

Paolo Bolaños
2017 Kritike: An Online Journal of Philosophy  
Recall Nietzsche's "God is Dead" pronouncement.  ...  Has their debate reached a theoretical dead end?  ...  The image, in turn, is imitated in a sound: second metaphor.  ... 
doi:10.25138/11.1.cp fatcat:vy6x36ooorbkbo3dyrqwnvg73i

Prayers for the Dead

Gilbert Fearing Williams
1894 Papers of the American Society of Church History  
I think we will be quite justified in heeding this sound Catholic advice of St.  ...  And to show what little respect his " tradition," " usage," and " faith " are entitled to or receive there is no Church, Anglican, Greek, or Roman, and no Christian of any type or school that accepts Tertullian's  ...  It is the immense power and value of this " cleansing blood" of Jesus Christ that is the living and dying Christian's assurance that " there is therefore now no condemnation " for him here and hereafter  ... 
doi:10.1017/s1079902800000802 fatcat:edjxllak3jcbtf263nzvsfwkbm

Dead men can talk: voicing the dead in crime fiction

Leanne Dodd
2016 Text: Journal of the Australian Association of Writing Programs  
Historically, death in crime fiction is embodied in graphic descriptions of the crime scene and the corpse.  ...  Death is frequently the defining event and consequently an indispensable presence, in most crime fiction narratives.  ...  Ackroyd had clearly been dead some little time (2011: 49). Heddendorf refers to the body in this type of crime fiction as the 'functional corpse' (2014: 120).  ... 
doi:10.52086/001c.27058 fatcat:ciy4ww3vfbcttlzizza4i3iymu

Worth More Dead than Live

Marko Ala-Fossi
2004 Nordicom Review  
Stations will produce both a standard type of programming and a standard type of audiences for advertisers -as long as it is more profitable to concentrate on the most desired audiences instead of some  ...  This "pure" type of competition tends to create several outlets of different owners producing fundamentally the same type of "interchangeable" programming.  ... 
doi:10.1515/nor-2017-0289 fatcat:2sdtyvq4njfdngon64xnf4j5rq

Is the Local Bubble dead? [article]

Dieter Breitschwerdt, Donald P. Cox
2004 arXiv   pre-print
This discussion was nominally led by Dieter Breitschwerdt (who had prepared a list of topics with the somewhat provocative title: "Is the Local Bubble Dead?")  ...  Although the spectral resolution of XQC is much higher than of the EPIC pn camera, the short duration of the sounding rocket flight required observing a region that covered both Local Bubble and Galactic  ... 
arXiv:astro-ph/0401428v1 fatcat:ksp3rro5e5appaw7doge37vfji

Prayers for the dead ventriloquist

1995 ChoiceReviews  
Sitting here now, I don't know What it is we require. Perhaps a pair of eyes looking back When we look out.  ...  The redhead is standing Up now, lifting a small, honey-colored boxer To the camera, our vision narrowed toward the animal's Dripping genitalia.  ...  I try to touch her, Late at night, with these fingers Of type striking paper. Do you see? I hate her. She is moving too quickly. She wears red ribbons in her hair.  ... 
doi:10.5860/choice.33-1406 fatcat:zgp22ua6zbdcbgsisme45o6ggq

The hydrodynamics of dead radio galaxies

Christopher S. Reynolds, Sebastian Heinz, Mitchell C. Begelman
2002 Monthly notices of the Royal Astronomical Society  
This inflation is mediated by an approximately spherical disturbance which propagates into the atmosphere at the sound speed.  ...  An important result is that a large fraction (at least half) of the energy injected by the jet activity is thermalized in the ISM/ICM core.  ...  This grant was awarded by the Space Telescope Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., for NASA under contract NAS 5-26555.  ... 
doi:10.1046/j.1365-8711.2002.04724.x fatcat:lsdpnnndq5hxfjdcjeegpkr4ua

What would the dead be doing? [chapter]

2016 Where are the Dead?  
Where progress or at least change is accepted as an element in post-mortem survival, however, further questions arise. Is change gradual or sudden?  ...  No wonder that for many people, the easiest and most comfortable answer as to the whereabouts of the dead is that the dead are not only dead to this world but dead to any world.  ...  In any case, in exploring the basis and implications of the emblematic question, Where are the dead?  ... 
doi:10.4324/9781315547312-10 fatcat:suplm2jrfzg75jzyamkcrq3znm


1885 Journal of the American Medical Association  
A sound was tried, and passed two and one-half inches, but Dr.  ...  The length of time a dead foetus may be retained and tolerated by the uterus seems to be indefinite.  ... 
doi:10.1001/jama.1885.02391200009001b fatcat:xlh7gohjnngh5djx4nlekftoga

Is the Aluminum Hypothesis Dead?

Theodore I. Lidsky
2014 Journal of Occupational and Environmental Medicine  
Although both types of tangles are found in the cortex and hippocampus, only aluminum-induced pathology is also found in the spinal cord.  ...  A second problem in the use of animal models is that mice, rats, and rabbits do not develop the types of pathology that are characteristic of AD (neurofibrillated tangles, fibrillated plaques, and amyloid  ... 
doi:10.1097/jom.0000000000000063 pmid:24806729 pmcid:PMC4131942 fatcat:7s5w2wvh3fewlclhyby4wcxhcm

Obituaries: A Dead Important Genre

Clare Brant
2020 European journal of life writing  
There is another type of life that deserves noticing: people less in the public eye, or lives lived beyond formal recognition'.  ...  As you read of the recent death of a subject, you feel the gradual death of discourses. Another pleasure of obituaries is 'uplift', as one enthusiast put it to me.  ... 
doi:10.21827/ejlw.9.36909 fatcat:23pha3ckerdo3at5u5onjltdrm
« Previous Showing results 1 — 15 out of 71,693 results