10,438 research outputs found
Letter from Frank Chin
No full textA letter from Frank Chin arguing that their should be a day name after Japanese American activist James Omura, and describing the kind of celebration that should take place in his honor. The day Chin proposes in November 27th, Omura's birthday.These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
Letter from [Frank] Chin to Paul [Tsuneishi], December 23, 1997
No full textA letter to Paul [Tsuneishi] from [Frank] Chin about planning the speakers and the media outreach for "Michi Day," the event to celebrate author Michi Weglyn and her book "Years of Infamy."These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
Type-Based Termination for Futures
No full textIn sequential functional languages, sized types enable termination checking
of programs with complex patterns of recursion in the presence of mixed
inductive-coinductive types. In this paper, we adapt sized types and their
metatheory to the concurrent setting. We extend the semi-axiomatic sequent
calculus, a subsuming paradigm for futures-based functional concurrency, and
its underlying operational semantics with recursion and arithmetic refinements.
The latter enables a new and highly general sized type scheme we call sized
type refinements. As a widely applicable technical device, we type recursive
programs with infinitely deep typing derivations that unfold all recursive
calls. Then, we observe that certain such derivations can be made infinitely
wide but finitely deep. The resulting trees serve as the induction target of
our termination result, which we develop via a novel logical relations
argument.Comment: 23 pages. Extended versio
Session Types with Arithmetic Refinements
No full textSession types statically prescribe bidirectional communication protocols for message-passing processes. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the type system by using index refinements from linear arithmetic capturing intrinsic attributes of data structures and algorithms. We show that, despite the decidability of Presburger arithmetic, type equality and therefore also subtyping and type checking are now undecidable, which stands in contrast to analogous dependent refinement type systems from functional languages. We also present a practical, but incomplete algorithm for type equality, which we have used in our implementation of Rast, a concurrent session-typed language with arithmetic index refinements as well as ergometric and temporal types. Moreover, if necessary, the programmer can propose additional type bisimulations that are smoothly integrated into the type equality algorithm
Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)
No full textTraditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to the protocols. Recent work has extended session types with refinements from linear arithmetic, capturing intrinsic properties of processes and data. These refinements then play a central role in describing sequential and parallel complexity bounds on session-typed programs.
The Rast language and system provide an open-source implementation of session-typed concurrent programs extended with arithmetic refinements as well as ergometric and temporal types to capture work and span of program execution. Type checking relies on Cooper’s algorithm for quantifier elimination in Presburger arithmetic with a few significant optimizations, and a heuristic extension to nonlinear constraints. Rast furthermore includes a reconstruction engine so that most program constructs pertaining the layers of refinements and resources are inserted automatically. We provide a variety of examples to demonstrate the expressivity of the language
Letter from Frank Chin to Dale [Minami], December 7, 1997
No full textA letter from Frank Chin to Dale [Minami] thanking him for sending a VHS clip for "Michi Day." Chin devotes the bulk of the letter to a proposal for creating a bell, that would be made of pieces of metal from incarceration camps, to celebrate Japanese American redress.These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
Letter from [Frank] Chin to David
No full textA letter from [Frank] Chin to David about buying space for a classified ad in the New York Times Sunday Book Review, that will mention the tribute to Michi Weglyn in February of 1998. The purpose of the ad is to solicit "photos and artifacts depicting the different phases of Michi's life." Chin writes that the materials will be used in"Yosh Kurimoya's Michi Show" at the event.These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
Letter from [Frank Chin] to Momo and Lawson, January 21, 1998
No full textA letter to Momo and Lawson, possibly from Frank Chin, about a performance of the story Kaguya Hime, princess of the moon in Japanese folklore. The purpose of the performance is to drum up interest for the children's storytelling event that would be part of the tribute to Michi Weglyn on February 21, 1998.These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
Letter from Michi Weglyn to Frank Chin
No full textA letter from Michi Weglyn to Frank Chin about another letter written by Lilian Baker, a conservative author who denied that Japanese American incarceration had taken place during World War II.These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
Letter from Michi Weglyn to Frank Chin
No full textA letter from Michi Weglyn to Frank Chin in which she talks about meeting a fan of hers that is also a fan of Frank Chin's work.These materials are from box 73 and 74 of the Frank Chin Papers. The Frank Chin Papers contain personal and professional correspondence between Frank Chin and Michi Weglyn relating to particular projects on which either author was working as well as files related to the Day of Remembrance Tribute to Michi Weglyn
- …
