Filters








1,665,969 Hits in 3.0 sec

Type Inference for Correspondence Types

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
2009 Electronical Notes in Theoretical Computer Science  
We present a correspondence type/effect system for authenticity in a π-calculus with polarized channels, dependent pair types and effect terms and show how one may, given a process P and an a priori type  ...  As a consequence, we obtain the result that type/effect inference in our system is polynomial-time decidable.  ...  , namely that of automated type inference for correspondence types in an effect type system for a polarized π-calculus with pairs.  ... 
doi:10.1016/j.entcs.2009.07.079 fatcat:laiacwnornaq3pob26c2x322se

Optimization of Analytical Parameters for Inferring Relationships among Escherichia coli Isolates from Repetitive-Element PCR by Maximizing Correspondence with Multilocus Sequence Typing Data

T. L. Goldberg, T. R. Gillespie, R. S. Singer
2006 Applied and Environmental Microbiology  
We used multilocus sequence typing (MLST) as a "gold standard" to optimize the analytical parameters for inferring relationships among Escherichia coli isolates from rep-PCR data.  ...  We conducted MLST with these same isolates and systematically varied the analytical parameters to maximize the correspondence between the relationships inferred from rep-PCR and those inferred from MLST  ...  Wheeler for assistance with laboratory analyses. Three anonymous reviewers provided constructive comments on the manuscript.  ... 
doi:10.1128/aem.00355-06 pmid:16957228 pmcid:PMC1563619 fatcat:5tjqs6jmd5gv7n447v7h45x4wy

Page 630 of Computational Linguistics Vol. 23, Issue 4 [page]

1997 Computational Linguistics  
For instance, in the Lambek calculus the inference B/A,A => B holds: any sign of type B/A concatenated with any sign of type A yields a sign of type B.  ...  The relationship between type-logical inferences and the corresponding semantic composition recipes, expressed as A-terms, is a version of the famous Curry-Howard correspondence (Howard 1980) between intuitionistic  ... 

Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction

Sébastien Carlier, J. B. Wells
2004 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04  
This formally verifies and makes precise a step-for-step correspondence between type inference and β-reduction.  ...  This paper uses expansion variables in a unification-based automatic type inference algorithm for System E that succeeds for every β-normalizable λ-term.  ...  The correspondence is limited to normal forms and does not directly show the step-for-step correspondence between β-reduction and type inference.  ... 
doi:10.1145/1013963.1013980 dblp:conf/ppdp/CarlierW04 fatcat:4geahdiobzcopgz4oqwm5jnfty

Type Inference by Coinductive Logic Programming [chapter]

Davide Ancona, Giovanni Lagorio, Elena Zucca
2009 Lecture Notes in Computer Science  
In this way, we obtain a very precise type inference and provide new insights into the challenging problem of type inference for object-oriented programs.  ...  Furthermore, despite we consider here a particular language, the methodology could be used in general for providing abstract specifications of type inference for different kinds of programming languages  ...  This work has been partially supported by MIUR EOS DUE -Extensible Object Systems for Dynamic and Unpredictable Environments.  ... 
doi:10.1007/978-3-642-02444-3_1 fatcat:5ja2e4jtirbwro4wbwzz65drtm

Impressions of impression management: Evidence of spontaneous suspicion of ulterior motivation

Jaap Ham, Roos Vonk
2011 Journal of Experimental Social Psychology  
For descriptions implying both a UM and a CT, we expect to find evidence for both types of spontaneous inferences.  ...  effects of trial type for CT cue words, which would indicate spontaneous CT inferences.  ... 
doi:10.1016/j.jesp.2010.12.008 fatcat:hi7wbl4ymrgebf3lq5qajzxvf4

The logic of Quantifier Raising

Chris Barker
2020 Semantics and Pragmatics  
I settle these issues by defining QRT (Quantifier Raising with Types), a substructural logic that is a faithful model of QR in the following respect: every semantically coherent QR derivation corresponds  ...  Displaced scope is a hallmark of natural language, and Quantifier Raising (QR) has long been the standard tool for analyzing scope.  ...  See Bumford and Barker 2013 for a discussion of how the type given to same accounts for the ambiguity in the presence of Quantifier Raising.  ... 
doi:10.3765/sp.13.20 fatcat:grcv64xp6beppb76mdyyntw6mq

A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms [article]

Paul Tarau
2016 arXiv   pre-print
A similar count for closed simply-typed normal forms is also derived up to size 14.  ...  Keywords: logic programming transformations, type inference, combinatorics of lambda terms, simply-typed lambda calculus, simply-typed normal forms.  ...  We thank the anonymous reviewers of LOPSTR'16 for their constructive suggestions and the participants of the 9th Workshop Computational Logic and Applications (https://cla.tcs.uj.edu.pl/) for enlightening  ... 
arXiv:1608.03912v1 fatcat:bxppoupkzzcljlpi3f724o37m4

Constraint-based type inference and parametric polymorphism [chapter]

Ole Agesen
1994 Lecture Notes in Computer Science  
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms.  ...  The intuition is facilitated by a direct correspondence between run-time and analysis-time concepts. Precise analysis of polymorphism is hard; several algorithms have been developed to cope with it.  ...  Relation Between Run Time and Type Inference Time In constraint-based type inference there is a direct correspondence between program execution concepts and type inference concepts.  ... 
doi:10.1007/3-540-58485-4_34 fatcat:hbdc4hcj6zfzxktbduqmi5dyra

Structural Type Inference in Java-like Languages

Martin Plümicke
2016 Software Engineering  
In the past we considered type inference for Java with generics and lambdas. Our type inference algorithm determines nominal types in subjection to a given environment.  ...  In this paper we present a type inference algorithm for a Java-like language, that infers structural types without a given environment.  ...  In [Plü15] for the following program no type can be inferred, as there is no type assumption for elementAt. Only with an import declaration import java.util.Vector; a type can be inferred.  ... 
dblp:conf/se/Plumicke16 fatcat:zqafsyb6gzcprih7hlup4v5c6y

Towards a more perfect union type

Michał Jan Gajda
2020 Zenodo  
We present a principled theoretical framework for dealing with union types, and show its work in practice on JSON data structures.  ...  The framework poses a union type inference as a learning problem from multiple examples. The categorical framework is generic, and easily extensible.  ...  That is because this requirement is valid only for strict type constraint inference, not for a more general type inference as a learning problem.  ... 
doi:10.5281/zenodo.3929489 fatcat:rfhrrumhurbgdgk3ss3mwkvxyu

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Bas van den Heuvel, Jorge A. Pérez
2020 Electronic Proceedings in Theoretical Computer Science  
Then, following the Curry-Howard correspondences for session types, we define piULL, a session type system for the pi-calculus based on ULL.  ...  Caires, Pfenning and Toninho informally observed that, unlike the classical type system, the intuitionistic type system enforces locality for shared channels, i.e. received channels cannot be used for  ...  We are grateful to Joseph Paulus for initial discussions. We would also like to thank the anonymous reviewers for their suggestions, which were helpful to improve the presentation.  ... 
doi:10.4204/eptcs.314.1 fatcat:rmzwlrlxgzbjvlb6r7gxtablei

Facilitating reuse in hardware models with enhanced type inference

Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August
2004 Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '04  
It proves that performing type inference for any such system is NP-complete and presents a heuristic that works efficiently in practice.  ...  The result is a type system and type inference algorithm that can encourage reuse, reduce design specification time, and lead to better designs.  ...  The template arguments for a SystemC component correspond to type variables. Basic C++ data types correspond to the basic types presented earlier.  ... 
doi:10.1145/1016720.1016744 dblp:conf/codes/VachharajaniVMA04 fatcat:2m5az3t7gffjradk4jtwl7dlwi

Typeless programming in Java 5.0

Martin Plümicke, Jörg Bäuerle
2006 Proceedings of the 4th international symposium on Principles and practice of programming in Java - PPPJ '06  
The term Vector>> is for example a correct type in Java 5.0.  ...  This type inference system allows us, to declare method parameters and local variables without type annotations. The type inference algorithm calculates the appropriate and principle types.  ...  The result of the algorithm contains for each method an intersection of function types and the corresponding typings for the local variables.  ... 
doi:10.1145/1168054.1168079 dblp:conf/pppj/PlumickeB06 fatcat:vx6kcwrbhvhfdcdjopw5lqb22u

Localized Lama Gradual Typing

Viktor Sergeevich Kryshtapovich
2021 Proceedings of the Institute for System Programming of RAS  
Gradual typing is a modern approach for combining benefits of static typing and dynamic typing.  ...  Although scientific research aim for soundness of type systems, many of languages intentionally make their type system unsound for speeding up performance.  ...  This interval style inference of patterns is crucial for analyzing case expressions. Let's denote ( ) ∈ for lower bound inferred type for pattern and ( ) ∈ for upper bound inferred type for pattern.  ... 
doi:10.15514/ispras-2021-33(3)-5 fatcat:6ecrcqotfray3f22ibwck2aqy4
« Previous Showing results 1 — 15 out of 1,665,969 results