Filters








3,665,182 Hits in 6.4 sec

Type variables in patterns

Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2018 Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018  
For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms.  ...  With the formal specification in hand, the otherwiselabyrinthine path toward a design for binding type variables in patterns becomes blindingly clear.  ...  The Binding Structure of a Pattern Signature A pattern signature may bind a type variable, but it may also mention a type variable that is already in scope.  ... 
doi:10.1145/3242744.3242753 dblp:conf/haskell/EisenbergBJ18 fatcat:axpeunm5mrg2hbi4tojsgdqurq

Type variables in patterns [article]

Richard A. Eisenberg and Joachim Breitner and Simon Peyton Jones
2018 arXiv   pre-print
For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms.  ...  With the formal specification in hand, the otherwise-labyrinthine path toward a design for binding type variables in patterns becomes blindingly clear.  ...  This ordering arises because any type variable in a pattern signature is bound within the pattern.  ... 
arXiv:1806.03476v1 fatcat:yxtghre6pfglxmbz7cfbqcyzfy

Variability of zonation patterns in temperate microtidal Uruguayan beaches with different morphodynamic types

L Giménez, B Yannicelli
1997 Marine Ecology Progress Series  
We show that zonation patterns (number of zones or belts) can change through time regardless of beach type.  ...  necessary to understand zonatlon patterns In dissipative sandy beaches.  ...  that beach width is also an important parameter in determining the variability of the zonation pattern.  ... 
doi:10.3354/meps160197 fatcat:6jd4sd6rofcivkm7c5qamj2rl4

Automated variable weighting in k-means type clustering

J.Z. Huang, M.K. Ng, Hongqiang Rong, Zichen Li
2005 IEEE Transactions on Pattern Analysis and Machine Intelligence  
The variable weights produced by the algorithm measure the importance of variables in clustering and can be used in variable selection in data mining applications where large and complex real data are  ...  This paper proposes a k-means type clustering algorithm that can automatically calculate variable weights.  ...  A major problem of using the k-means type algorithms in data mining is selection of variables.  ... 
doi:10.1109/tpami.2005.95 pmid:15875789 fatcat:3l32kmxhbbdwje2fwkbtwoxlmi

Variable stretch pattern enhances surfactant secretion in alveolar type II cells in culture

Stephen P. Arold, Erzsébet Bartolák-Suki, Béla Suki
2009 American Journal of Physiology - Lung cellular and Molecular Physiology  
Variable stretch pattern enhances surfactant secretion in alveolar type II cells in culture.  ...  Here, we test the hypothesis that variable stretch patterns imparted on the AEII cells results in enhanced surfactant secretion.  ...  We found that variable stretch patterns enhanced surfactant secretion in AEII cells without any increase in the prevalence of injury. METHODS Cell culture.  ... 
doi:10.1152/ajplung.90454.2008 pmid:19136581 pmcid:PMC2670764 fatcat:l7cyu2ipp5emxk56xozt3w5dme

Spatial patterns and predictor variables vary among different types of primary producers and consumers in eelgrass (Zostera marina) beds

Mizuho Namba, Masahiro Nakaoka, Fabrizio Frontalini
2018 PLoS ONE  
The aboveground part of eelgrass provides habitats for other types of primary producers such as epiphytic microalgae and for epifaunal invertebrate grazers.  ...  Because of the different sizes, generation times and resource requirements, these different types of producers and consumers may be affected by different sets of biotic/ abiotic factors over multiple spatial  ...  vary the most, and 2) the abiotic/biotic factors that affect the observed spatial variability Spatial patterns and predictor variables for eelgrass (Zostera marina) communities in producers and consumers  ... 
doi:10.1371/journal.pone.0201791 pmid:30086164 pmcid:PMC6080780 fatcat:ycp42qepirbr5df43ivschxhje

Variability and Pattern of Spontaneous Respiration in Different Types of Cardiac Rhythm Regulation of Highly Trained Athletes

Alexander Romanchuk, Oksana Guzii
2020 International Journal of Human Movement and Sports Sciences  
Cite This Paper in the following Citation Styles (a): [1]  ...  Conclusions A study of the variability and pattern respiration in athletes with different types of cardiac rhythm regulation revealed the following: 1.  ...  The purpose of this work is to determine features of the respiration pattern and its variability in highly qualified athletes with different types of cardiac rhythm regulation.  ... 
doi:10.13189/saj.2020.080622 fatcat:y3tobauxr5eshjrhu2hskcnody

Variable Migratory Patterns of Different Adult Rainbow Trout Life History Types in a Southwest Alaska Watershed

Julie M. Meka, E. Eric Knudsen, David C. Douglas, Robert B. Benter
2003 Transactions of the American Fisheries Society  
Considerable variation in movement patterns was found within both the lake-river group and the river migratory group.  ...  Radio-tagged trout did not migrate between the two Alagnak watershed lakes in either year of the study, suggesting lake fidelity in the population structure.  ...  In this study, lake-resident, lakeriver, and river migratory fish made suspected spawning migrations to various types of habitat within lake outlet and river environments, indicating a strong variability  ... 
doi:10.1577/t01-166 fatcat:nemyrnykmrga3drblkqzrvo53a

Nosology and inheritance pattern(s) of joint hypermobility syndrome and Ehlers-Danlos syndrome, hypermobility type: A study of intrafamilial and interfamilial variability in 23 Italian pedigrees

Marco Castori, Chiara Dordoni, Michele Valiante, Isabella Sperduti, Marco Ritelli, Silvia Morlino, Nicola Chiarelli, Claudia Celletti, Marina Venturini, Filippo Camerota, Piergiacomo Calzavara-Pinton, Paola Grammatico (+1 others)
2014 American Journal of Medical Genetics. Part A  
Nosology and inheritance pattern(s) of joint hypermobility syndrome and Ehlers-Danlos syndrome, hypermobility type: A study of intrafamilial and interfamilial variability in 23 Italian pedigrees.  ...  In these pedigrees, JHS, EDS-HT, and JHS þ EDS-HT segregate as a single dominant trait with complete penetrance, variable expressivity, and a markedly evolving phenotype.  ...  ACKNOWLEDGMENTS The authors want to thank all those patients and their families who chose to share their sufferings hoping to help future generations of affected people in better coping with the effects  ... 
doi:10.1002/ajmg.a.36805 pmid:25338840 fatcat:2hg7k3zlzrextd3wvpabmwpqiu

Variables Must be Limited to a Single Feature

Brandon Prickett
2020 Proceedings of the Annual Meetings on Phonology  
In this paper, I show that applying variables in the unconstrainted way that Halle (1962) first proposed causes the representation of certain phonotactic patterns to be simplified.  ...  As a solution, I propose limiting variables to occurring in the same feature across different segments.  ...  Figure 2 . 2 Learning curves for a MaxEnt model with variables, trained on Type I and Type II patterns. Front] in the input and the values of [High] and [Low] in the output.  ... 
doi:10.3765/amp.v8i0.4677 fatcat:d2hlcfdgrjeybbgv7admszqwh4

Regular expression pattern matching for XML

Haruo Hosoya, Benjamin Pierce
2001 SIGPLAN notices  
To avoid excessive type annotations, we develop a type inference scheme that propagates type constraints to pattern variables from the surrounding context.  ...  Regular expression patterns are intended to be used in languages whose type systems are also based on the regular expression types.  ...  Acknowledgments Our main collaborator in the XDuce project, J~r6me Vouil-Ion, contributed a number of ideas, both in the techniques presented here artd in their implementation.  ... 
doi:10.1145/373243.360209 fatcat:nhwid2q62fha3i4lmlpwtamjgu

Regular expression pattern matching for XML

HARUO HOSOYA, BENJAMIN C. PIERCE
2003 Journal of functional programming  
To avoid excessive type annotations, we develop a type inference scheme that propagates type constraints to pattern variables from the surrounding context.  ...  Regular expression patterns are intended to be used in languages whose type systems are also based on the regular expression types.  ...  Acknowledgments Our main collaborator in the XDuce project, J~r6me Vouil-Ion, contributed a number of ideas, both in the techniques presented here artd in their implementation.  ... 
doi:10.1017/s0956796802004410 fatcat:7a52iz2mvbgcpnbnpuvl3mlg5y

Regular expression pattern matching for XML

Haruo Hosoya, Benjamin Pierce
2001 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01  
To avoid excessive type annotations, we develop a type inference scheme that propagates type constraints to pattern variables from the surrounding context.  ...  Regular expression patterns are intended to be used in languages whose type systems are also based on the regular expression types.  ...  Acknowledgments Our main collaborator in the XDuce project, J~r6me Vouil-Ion, contributed a number of ideas, both in the techniques presented here artd in their implementation.  ... 
doi:10.1145/360204.360209 dblp:conf/popl/HosoyaP01 fatcat:xirufzbglzce3l5oaw3tnsgjj4

Expressive and safe static reflection with MorphJ

Shan Shan Huang, Yannis Smaragdakis
2008 SIGPLAN notices  
Our technique is based on the idea of nested patterns that elaborate the outer-most pattern with blocking or enabling conditions. We implemented this mechanism in a language, MorphJ.  ...  We present and formalize the MorphJ type system, and offer a type-checking algorithm.  ...  from non-pattern type variables).  ... 
doi:10.1145/1379022.1375592 fatcat:wkqs354ys5g3jfpn7eiumayluy

Moebius: Metaprogramming using Contextual Types – The stage where System F can pattern match on itself (Long Version) [article]

Junyoung Jang and Samuel Gélineau and Stefan Monnier and Brigitte Pientka
2021 arXiv   pre-print
As pattern matching on polymorphic code may refine polymorphic type variables, we extend our type-theoretic foundation to generate and track typing constraints that arise.  ...  In Moebius, open code can depend on type and term variables (level 0) whose values are supplied at a later stage, as well as code variables (level 1) that stand for code templates supplied at a later stage  ...  A key question is what type to assign to pattern variables in code and type patterns.  ... 
arXiv:2111.08099v1 fatcat:owfkxensy5av3hj5627653l7k4
« Previous Showing results 1 — 15 out of 3,665,182 results