Filters








71,213 Hits in 3.0 sec

Nested Session Types [chapter]

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2021 Lecture Notes in Computer Science  
In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes.  ...  We have implemented our ideas by extending the Rast programming language with nested session types. We conclude with several examples illustrating the expressivity of our enhanced type system.  ...  Conclusion Nested session types extend binary session types with parameterized type definitions.  ... 
doi:10.1007/978-3-030-72019-3_7 fatcat:zhlc25deurfavejez6pp5aab4i

Nested Session Types [article]

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2020 arXiv   pre-print
In this paper, we present the metatheory of session types extended with prenex polymorphism and, as a result, nested recursive datatypes.  ...  We have implemented our ideas by extending the Rast programming language with nested session types. We conclude with several examples illustrating the expressivity of our enhanced type system.  ...  Conclusion Nested session types extend binary session types with parameterized type definitions.  ... 
arXiv:2010.06482v4 fatcat:67abd6t6dncq7orxlttzeubd6u

Nested Protocols in Session Types [chapter]

Romain Demangeon, Kohei Honda
2012 Lecture Notes in Computer Science  
We propose an improvement to session-types, introducing nested protocols, the possibility to call a subprotocol from a parent protocol.  ...  Our theory is introduced through a new type system for protocols handling subprotocol calls, and its implementation in a session-calculus.  ...  Conclusion and Future Works To our knowledge, there does not exist other works addressing the notion of nested session types, or protocol calls inside session types.  ... 
doi:10.1007/978-3-642-32940-1_20 fatcat:nkb7t2tndjegpai4mz457t3qym

Subtyping on Nested Polymorphic Session Types [article]

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2021 arXiv   pre-print
Our results will be broadly applicable, but to keep our study grounded in a concrete setting, we work with an extension of session types with explicit polymorphism, parametric type constructors, and nested  ...  We prove that subtyping is undecidable even for the fragment with only internal choices and nested unary recursive type constructors.  ...  temporal [12] types for complexity analysis, and nested session types [11] .  ... 
arXiv:2103.15193v1 fatcat:yv2djxkhvjaxdmkvgjlrredjay

Scalaness/nesT

Peter Chapin, Christian Skalka, Scott Smith, Michael Watson
2014 SIGPLAN notices  
Scala compiler. • Type checking extends Scala type checker with module types, module operation typings, nesT type checking.  ...  Some Type Abbreviations abbrvt mesgT(t) = { src : t; dest : t; data : uint8[] }; • nesT modules parameterized by types and values.  ...  Refactor authorization decision and session key negotiation into different stages.  ... 
doi:10.1145/2637365.2517217 fatcat:txqea6gmg5e37j7h53gt5lts4e

Scalaness/nesT

Peter Chapin, Christian Skalka, Scott Smith, Michael Watson
2013 Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13  
Scala compiler. • Type checking extends Scala type checker with module types, module operation typings, nesT type checking.  ...  Some Type Abbreviations abbrvt mesgT(t) = { src : t; dest : t; data : uint8[] }; • nesT modules parameterized by types and values.  ...  Refactor authorization decision and session key negotiation into different stages.  ... 
doi:10.1145/2517208.2517217 dblp:conf/gpce/ChapinSSW13 fatcat:3npdbm6ogjbp7d5xjtper4h4ke

Global escape in multiparty sessions

SARA CAPECCHI, ELENA GIACHINO, NOBUKO YOSHIDA
2014 Mathematical Structures in Computer Science  
Guided by multiparty session types, our semantics is proven to provide a termination algorithm for global escapes.  ...  Our type system guarantees further safety and liveness properties, such as progress within the session and atomicity of escapes with respect to the subset of involved participants.  ...  α | α; end | end As in [9] , a session type records the identity number of the session channel it uses at each action type, and we use the located type A@p to represent the end-point type A assigned  ... 
doi:10.1017/s0960129514000164 fatcat:ngewpuwz45brvpvln7abbooa4e

Using Session Types for Reasoning About Boundedness in the Pi-Calculus

Hans Hüttel
2017 Electronic Proceedings in Theoretical Computer Science  
In this paper we use binary session types to decise two type systems that give a sound characterization of the properties: If a process is well-typed in our first system, it is depth-bounded.  ...  P is depth-bounded at level k if every reduction sequence for P contains successor processes with at most k active nested restrictions.  ...  The session types provide a bound on the nesting depth of a well-typed process. Suppose Γ, ∆ / 0 ⊢ P. Let d(Γ, P) denote the sum of the depths of the session types in Γ and in Γ P , i.e. S lin ::=?  ... 
doi:10.4204/eptcs.255.5 fatcat:xqtta5pym5bsxeeecvov65rejy

Small passerines can discriminate ultraviolet surface colours

Elena N. Derim-Oglu, Vadim V. Maximov
1994 Vision Research  
Hollow-dwelling passerine birds were tested for W surface colour discrimination by using the instinct to bring food to nestlings that makes a bii search for the nest under changing conditions.  ...  were carried out on breeding pairs of pied flycatcher (Musc~qu &JO~UCU), great tit (Purus mjor) and tree sparrow (Passer montanrrs) in the wild by the method of a&native choice of entrance into a double nesting-box  ...  Many external factors affected the length of experimental sessions (e.g. we failed to continue experiments with tree sparrows because the nestlings left the nest during the test session).  ... 
doi:10.1016/0042-6989(94)90155-4 pmid:8023465 fatcat:zmfuco5firh43gg656xu5zzctu

'Fearful-place' coding in the amygdala-hippocampal network

Mi-Seon Kong, Eun Joo Kim, Sanggeon Park, Larry S Zweifel, Yeowool Huh, Jeiwon Cho, Jeansok John Kim
2021 eLife  
Thus, we investigated simultaneous activities of fear-responsive basal amygdala (BA) and place-responsive dorsal hippocampus (dHPC) neurons as rats left the safe nest to search for food in an exposed space  ...  cell 186 types by the location of maximal firing during the pre-robot session (Figure 2C,D and 187 Supplementary File 1B): inside the nest (nest cells, n = 213), near the nest (proximal cells, n 188 =  ...  Based on the 605 peak positions of place fields during the pre-robot/pre-stimulation session, cells were classified 606 into three different types; nest cells (cells fired maximally in the nest), proximal  ... 
doi:10.7554/elife.72040 pmid:34533133 pmcid:PMC8500711 fatcat:o32wnjs3sbecbpdgglssjgz3va

The Different Shades of Infinite Session Types [article]

Simon J. Gay and Diogo Poças and Vasco T. Vasconcelos
2022 arXiv   pre-print
We also consider previous work on context-free session types (and extend it to higher-order) and nested session types, and locate them on our spectrum of infinite types.  ...  Alternatively, some systems of label- or value-dependent session types go beyond simple recursive types.  ...  the nested session type representation.  ... 
arXiv:2201.08275v1 fatcat:di3xp4jiuvfbbba3vtfpydqv44

Predicting Electric Vehicle Charging Demand using Mixed Generalized Extreme Value Models with Panel Effects

Guus Berkelmans, Wouter Berkelmans, Nanda Piersma, Rob van der Mei, Elenna Dugundji
2018 Procedia Computer Science  
Models are obtained for three user-types: regular users, electric car-share participants and taxis.  ...  Models are obtained for three user-types: regular users, electric car-share participants and taxis.  ...  Then for each type of EV the first column contains the nest coefficient for Nest 1 and the second one the nest coefficient for Nest 2.  ... 
doi:10.1016/j.procs.2018.04.080 fatcat:yles76va3zdtraprapbcdr4jtm

Structured Interactional Exceptions in Session Types [chapter]

Marco Carbone, Kohei Honda, Nobuko Yoshida
2008 Lecture Notes in Computer Science  
A type structure for interactional exceptions which minimally extends that of the existing session types.  ...  We address these requirements by extending session types with the following features: 1.  ...  As far as we know, this work is the first to present a consistent extension of the session types discipline to interactional exceptions, backed up by its key formal properties. Acknowledgements.  ... 
doi:10.1007/978-3-540-85361-9_32 fatcat:ntnfgm57nfdwfljecdgupkknuy

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014 Formal methods in system design  
We then implement a concise API for conversation programming with interrupts in Python that enables session types properties to be dynamically verified for distributed processes.  ...  Drawn from our industrial collaborations [40, 34] on Scribble, a choreography description language based on multiparty session types, and its theoretical foundations [20] , this article proposes a dynamic  ...  Interrupt in session types.  ... 
doi:10.1007/s10703-014-0218-8 fatcat:j2ns5fnyzje53nt7ybhi7cz65a

Preface [chapter]

2019 Video Surveillance of Nesting Birds  
Most papers in this volume are based on presentations given in the general session, but others were specially invited for this volume to illustrate additional types of information that can be obtained  ...  This volume is an outgrowth of that session.  ... 
doi:10.1525/9780520954090-002 fatcat:xaaixewdp5ardnr3ekeednwnfi
« Previous Showing results 1 — 15 out of 71,213 results