2,621 Hits in 2.7 sec

KafKa: Gradual Typing for Objects

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek, Michael Wagner
2018 European Conference on Object-Oriented Programming  
In this paper, we show that four of the most common gradual type systems provide distinct guarantees, and we give a formal framework for comparing gradual type systems for objectoriented languages.  ...  First, we show that the different gradual type systems are practically distinguishable via a three-part litmus test. We present a formal framework for defining and comparing gradual type systems.  ...  Conclusion This paper introduced KafKa, a framework for comparing the design of gradual type systems for object-oriented languages.  ... 
doi:10.4230/lipics.ecoop.2018.12 dblp:conf/ecoop/ChungLNV18 fatcat:fafnygxomvgdzhi6d3lbebyn5m

KafKa: Gradual Typing for Objects (Artifact) [article]

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek, Marianna Rapoport, Maria Christakis, Philipp Haller
2018 Dagstuhl Artifacts Series (DARTS)  
In this paper, we show that four of the most common gradual type systems provide distinct guarantees, and we give a formal framework for comparing gradual type systems for object-oriented languages.  ...  Then, we present a formal framework for defining and comparing gradual type systems.  ...  I want to thank Aviral Goal for helping to test this artifact.  ... 
doi:10.4230/darts.4.3.10 dblp:journals/darts/ChungLNV18 fatcat:jgsv6dieo5brpdsayly2r7jkly

Kafka and legal critique

Roberto Buonamano
2016 Griffith Law Review  
For Kafka, the human is effaced by the immanence of power.  ...  There is a cogent argument for interpreting these parables as a critique of the formalistic elements of legal positivism, at least of the type found in early twentieth-century Austro-German jurisprudence  ... 
doi:10.1080/10383441.2016.1273167 fatcat:vd2fh2qnynfnbk55oueomsqsce

Kafka: Tropes of Desire [chapter]

Timo Airaksinen
2019 Vagaries of Desire: A Collection of Philosophical Essays  
Kafka, 2008, Ch. 5 "The Whipper."  ...  They certainly have their metonymic uses, but metonym is a special type of metaphor.  ... 
doi:10.1163/9789004410305_008 fatcat:3ashegqjmjd23lcmue7ecsbp2i

Kafka and Brentano: A Study in Descriptive Psychology [chapter]

Barry Smith
1981 Structure and Gestalt  
For we are like tree trunks in the snow. In appearance they lie sleekly and a little push should be enough to set them rolling. No, it can't be done, for they are firmly wedded to the ground.  ...  Such attempts have been roundly dismissed, not least by Max Brod, who denied the role of all theory in Kafka's writings (Kafka 'spoke in images because he thought in images').  ...  The philosophy courses for which Kafka Psychical or mental phenomena, in contrast, are simply our mental acts themselves: the hearing of a sound, the seeing of a coloured object, feeling warmth or cold  ... 
doi:10.1075/llsee.7.05smi fatcat:6belfplvdvbsvgluepv57jgnoe

Crisis and Meaning: F. Kafka and the Law

Luc Anckaert, Roger Burggraeve
2017 Santalka: Filosofija, Komunikacija  
The parable "Before the Law" is a pivotal text in the work of Franz Kafka. It tells of a man who looks for the law as the quintessence of his life.  ...  But his quest for meaning comes to a crisis because of a fundamental deception. Instead of interpreting the law as a personal mystery, he somehow objectifies it.  ...  The law that was the basis of his arrest gradually grows to the law that governs the entire life. The law becomes the life law of Joseph K.  ... 
doi:10.3846/cpc.2017.288 fatcat:pvrsn36q6nhldjm2fddf5dkyfq

The Polish Trial of Kafka. On the Reception of Franz Kafka and So-Called "Dark Literature" by the Censorship Board

Kajetan Mojsak
2016 Acta Universitatis Lodziensis. Folia Litteraria Polonica  
This might indicate that the "case of Kafka" for the approval and fi nal pub-"case of Kafka" for the approval and fi nal pub-case of Kafka" for the approval and fi nal pub-" for the approval and fi nal  ...  That train of thought leads to death, which he views objectively and accepts quietly, though he never learns why everything happened the way it did.  ...  , the fi nal resolution was sup-") would provide a type of political alibi for him, the fi nal resolution was sup-) would provide a type of political alibi for him, the final resolution was supposed to  ... 
doi:10.18778/1505-9057.37.13 fatcat:2rp66xnxbna57i244aoqlzgl7u


2018 Franz Kafka  
a literary text and a type ?  ...  Fi nally, Kafka affirms a third term founding the act of thought as the union of observer and object.  ... 
doi:10.7591/9781501722813-005 fatcat:y2wftxpnyjftrcbgtyhwgbinb4

PART II Kafka's C ontext [chapter]

2018 Franz Kafka  
Literary history could then take its bearings from the different views of Nietzsche and Kafka implied by the types of reversal enacted in their texts.  ...  How could K. or the reader see the object radiantly and see it whole? The object would have to have a beginning, would have to be presented for at least an instant as what it truly is.  ...  An explanation for this poetic li cense?  ... 
doi:10.7591/9781501722813-006 fatcat:m3flv4tu6zc7jldpi3pgbg5kzq

From Franz Kafka to Franz Kafka Award Winner, Yan Lianke: Biopolitics and the Human Dilemma of Shenshizhuyi in Liven and Dream of Ding Village

Melinda Pirazzoli
2021 CLCWeb  
Kafka did not give me this. The fact that Kafka never gave [me a description of the] "real" [process of metamorphosis] made me wonder for a long time.  ...  Form and Content of Shenshizhuyi in Liven and Dream of Ding Village An atheistic country cannot help but produce a type of literature that is helpless with regards to respect for humanity and respect for  ... 
doi:10.7771/1481-4374.3437 fatcat:5fop2x7e3jbpxnlo7nng22a7pe

Beasts of the Modern Imagination: Darwin, Nietzsche, Kafka, Ernst, and Lawrence

Robert D. Newman, Margot Norris
1988 South Central Review  
the proof of his theory of gradual descent.  ...  type of the Nivellierten (4, PW, 22 1) .  ...  Kafka misleads readers into creating allegories whose collapse reveals the truth concealed at the repressed literal level.  ... 
doi:10.2307/3189448 fatcat:3l5srh4dqbhd7hzah2axke3zaq

Apache Spark Streaming, Kafka and HarmonicIO: A Performance Benchmark and Architecture Comparison for Enterprise and Scientific Computing [article]

Ben Blamey and Andreas Hellander and Salman Toor
2019 arXiv   pre-print
This paper presents a benchmark of stream processing throughput comparing Apache Spark Streaming (under file-, TCP socket- and Kafka-based stream integration), with a prototype P2P stream processing framework  ...  The simplicity of HarmonicIO offers more robust performance in this region, especially for raw CPU utilization.  ...  Computational resources were provided by the Swedish National Infrastructure for Computing via the SNIC Science Cloud (SSC) (Toor et al., 2017) , an OpenStack-based community cloud for Swedish academia  ... 
arXiv:1807.07724v4 fatcat:nslcxhitjvgkdbdphenbat2zxe

Para Tutumu Ölçeğinin Geliştirilmesi

Seçil DURAN, Serkan KÜNÜ, Volkan DURAN
2020 Kafkas Üniversitesi İktisadi ve İdari Bilimler Fakültesi Dergisi  
Attitudes are evaluations of people, objects, or ideas.  ...  the attitude object, and the behavioral component which are how people act toward the attitude object (Aronson, Wilson & Akert, 2013, p. 166) .  ... 
doi:10.36543/kauiibfd.2020.044 fatcat:dxoctmcmyfabnanywjvsu2qt7y

Mysterious Illnesses of Human Commodities in Woody Allen and Franz Kafka

Iris Bruce
1998 Studies in 20th & 21st Century Literature  
Yet the causes for their illnesses lie not in themselves but in society on the whole, and for this reason there is no cure for these human commodities.  ...  The article examines correspondences between Woody Allen's film Zelig and texts by Franz Kafka.  ...  Kafka is ridiculing here the reviewer's objection that we do not know who or what we are dealing with.  ... 
doi:10.4148/2334-4415.1438 fatcat:zqe3o52bsnf5fo5g3qpgjv673i

Saanen Oğlaklarında Büyüme Özellikleri İçin Genetik Parametre Tahminleri
Genetic Parameter Estimates for Growth Traits in Saanen Kids

Hasan ÖNDER, Uğur ŞEN, Çiğdem TAKMA, Sezen OCAK, Samet Hasan ABACI
2015 Kafkas Universitesi Veteriner Fakultesi Dergisi  
Permanent environmental variances were static for height at sacrum, height at withers and chest depth, increased for body weight and body length on time.  ...  Heritability values ranged from 0.2679 to 0.6135 for body weight and Height at withers. Genetic correlations changed between 0.725 and 0.979 in all traits.  ...  Random regression (RR) models have become a popular choice for modeling of traits, which are measured repeatedly per individual, but change gradually and continually with time.  ... 
doi:10.9775/kvfd.2015.13407 fatcat:fo2borzn5za3risjsknvjxhowq
« Previous Showing results 1 — 15 out of 2,621 results