Filters








459 Hits in 5.5 sec

Recasting MLF

Didier Le Botlan, Didier Rémy
2009 Information and Computation  
We show an embedding of ML in eML F and a straightforward encoding of System F into eML F .  ...  We introduce a Curry-style version iML F of ML F and provide an interpretation of iML F types as instantiation-closed sets of System-F types, from which we derive the definition of type-instance in iML  ...  Acknowledgments The authors are grateful to Boris Yakobowski for many technical discussions and his expertise on the graphic presentation of ML F .  ... 
doi:10.1016/j.ic.2008.12.006 fatcat:ojbaprppgzarpbozexjauazbfm

From ML to MLF

Didier Rémy, Boris Yakobowski
2008 SIGPLAN notices  
We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent ML F types.  ...  We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or ML F .  ...  Acknowledgments We would like to thank Didier Le Botlan and Yann Régis-Gianas for numerous helpful suggestions on previous versions of this work.  ... 
doi:10.1145/1411203.1411216 fatcat:auekis6qnfamzhpnx6curkrakq

From ML to MLF

Didier Rémy, Boris Yakobowski
2008 Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08  
We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent ML F types.  ...  We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or ML F .  ...  Acknowledgments We would like to thank Didier Le Botlan and Yann Régis-Gianas for numerous helpful suggestions on previous versions of this work.  ... 
doi:10.1145/1411204.1411216 dblp:conf/icfp/RemyY08 fatcat:ghspgii22zfjbhunk4gvg3k72i

A church-style intermediate language for MLF

Didier Rémy, Boris Yakobowski
2012 Theoretical Computer Science  
We exhibit a type preserving encoding of ML F into x ML F , which shows that x ML F can be used as the internal language for ML F after type inference, and also ensures type soundness for the most expressive  ...  variant of ML F .  ...  It is unsurprising that the elaboration of ML F into System F can be decomposed into our elaboration of ML F into x ML F followed by a translation of x ML F into System F.  ... 
doi:10.1016/j.tcs.2012.02.026 fatcat:kehmy5bww5eermlseewmsrljnq

Qualified types for MLF

Daan Leijen, Andres Löh
2005 SIGPLAN notices  
We show how the theory of qualified types can be used seamlessly with the higher-ranked impredicative polymorphism of MLF, and give a solution to the non-trivial problem of evidence translation in the  ...  MLF is a type system that extends a functional language with impredicative rank-n polymorphism.  ...  Acknowledgements We are indebted to Didier Le Botlan for his extensive and constructive comments on a draft of this paper.  ... 
doi:10.1145/1090189.1086385 fatcat:6ikr54gg75bbvbujdygnwawl4i

Qualified types for MLF

Daan Leijen, Andres Löh
2005 Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05  
We show how the theory of qualified types can be used seamlessly with the higher-ranked impredicative polymorphism of MLF, and give a solution to the non-trivial problem of evidence translation in the  ...  MLF is a type system that extends a functional language with impredicative rank-n polymorphism.  ...  Acknowledgements We are indebted to Didier Le Botlan for his extensive and constructive comments on a draft of this paper.  ... 
doi:10.1145/1086365.1086385 dblp:conf/icfp/LeijenL05 fatcat:uw7dgbhzczgljeaky245eccb5a

A graphical presentation of MLF types with a linear-time unification algorithm

Didier Rémy, Boris Yakobowski
2007 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07  
ML F is a language that extends ML and System F and combines the benefits of both.  ...  We propose a dag representation of ML F types that superposes a term-dag, encoding the underlying termstructure with sharing, and a binding tree encoding the bindingstructure.  ...  with an initial large collection of examples and counter-examples of graphic types, sharing with us his expertise on ML F , and for many insightful discussions all along this work.  ... 
doi:10.1145/1190315.1190321 dblp:conf/tldi/RemyY07 fatcat:bfuq7zw2ffewnaowbmalgn76dq

Bacterial Chaperone Protein, Skp, Induces Leukocyte Chemotaxis via C5a Receptor

Arjun Shrestha, Lei Shi, Sumio Tanase, Makiko Tsukamoto, Norikazu Nishino, Kazutaka Tokita, Tetsuro Yamamoto
2004 American Journal of Pathology  
formed by His15, Arg46, and Lys49 of C5a, or a cluster with the Lys41-His42-Lys43 tandem of RP S19, seems to bind to the amino-terminal acidic moiety of C5a receptor, which is composed of several Asp  ...  In addition to this, C5a stimulates PMNs via the C5a receptor to release granule contents and to produce radical oxygen species. 1 C5a also promotes monocytes/macrophages via the C5a receptor to synthesize  ...  Takamune of the Department of Pharmaceutical Biochemistry, Kumamoto University, for his mass spectrometric analysis of the Skp preparation.  ... 
doi:10.1016/s0002-9440(10)63164-1 pmid:14982830 pmcid:PMC1613266 fatcat:5vjh5b2qfvde5bq5u5oq5rkyo4

Neural Progenitor Cell Implants in the Lesioned Medial Longitudinal Fascicle of Adult Cats Regulate Synaptic Composition and Firing Properties of Abducens Internuclear Neurons

C. J. Morado-Diaz, E. R. Matarredona, S. Morcuende, R. Talaveron, M. A. Davis-Lopez de Carrizosa, R. R. de la Cruz, A. M. Pastor
2014 Journal of Neuroscience  
Transplants of neural progenitor cells (NPCs) into the injured CNS have been proposed as a powerful tool for brain repair, but, to date, few studies on the physiological response of host neurons have been  ...  Together, our results suggest that VEGF neurotrophic support might underlie the increased inhibitory-to-excitatory balance observed in the postimplant cells.  ...  Another neurotrophin with powerful synaptotrophic actions on the oculomotor system is NGF.  ... 
doi:10.1523/jneurosci.4231-13.2014 pmid:24828653 pmcid:PMC6608105 fatcat:v7ztoiibtzbfrlodoecxq45zzm

Alginate-Based Hydrogel Beads as a Biocompatible and Efficient Adsorbent for Dye Removal from Aqueous Solutions

Safoura Asadi, Setareh Eris, Saeid Azizian
2018 ACS Omega  
The performance of the prepared adsorbents for the removal of methyl violet from aqueous solution was studied in detail.  ...  Fourier transform infrared spectroscopy, X-ray diffraction pattern, and scanning electron microscopy/energy-dispersive X-ray techniques were used to characterize the prepared adsorbents.  ...  The authors declare no competing financial interest. ■ ACKNOWLEDGMENTS The authors are grateful for the financial support from the Bu-Ali Sina University [grant number (32-12-67)].  ... 
doi:10.1021/acsomega.8b02498 pmid:30555996 pmcid:PMC6289535 fatcat:c7il6bn4hnhtvewofz4j4fibxu

Miltefosine: a review of its pharmacology and therapeutic efficacy in the treatment of leishmaniasis

T. P. C. Dorlo, M. Balasegaram, J. H. Beijnen, P. J. de Vries
2012 Journal of Antimicrobial Chemotherapy  
53 kg and scaled allometrically with a power of 0.75 for CL/F and 1 for V 2 /F.  ...  to miltefosine, with EC 50 values of 3.3 -4.6 mM (corresponding to 1.3 -1.9 mg/mL), while L. major was the least susceptible, with EC 50 values of 31.6-37.2 mM (corresponding to 12.9 -15.2 mg/mL). 83  ... 
doi:10.1093/jac/dks275 pmid:22833634 fatcat:gstc4m6wbfgufitdemwbovbsri

Neurotransmitter phenotypes of descending systems in the rat lumbar spinal cord

A. Du Beau, S. Shakya Shrestha, B.A. Bannatyne, S.M. Jalicy, S. Linnen, D.J. Maxwell
2012 Neuroscience  
3 + glucose in PB, buffered to pH 7.4 To prepare 1L of 4% paraformaldehyde fixative solution:40 g paraformaldehyde 400 ml distilled H 2 O at ≈ 68°C 500 ml 0.2 PB NaOH, to raise pH (few drops) To prepare  ...  Immunofluorescent axons from the MLF and serotoninImmunoreactive CTb terminals (A & E, red) from the MLF were reacted with antibodies against 5-HT (B & F, green) and VGAT (C, blue) and a mixture of VGLUT1  ...  Appendix 3 Table 3 Inhibitory axon terminals from the MLF and CVLM MLF Animal No. 5-HT and DBH contacts onto ChAT interneurons were expressed in terms of were expressed in terms of surface area  ... 
doi:10.1016/j.neuroscience.2012.09.037 pmid:23018001 fatcat:hfhy3r4wwjaotpgxoashkjad5m

Thrombin Induces Fibroblast CCL2/JE Production and Release via Coupling of PAR1 to Gαq and Cooperation between ERK1/2 and Rho Kinase Signaling Pathways

Xiaoling Deng, Paul F. Mercer, Chris J. Scotton, Annette Gilchrist, Rachel C. Chambers, Mark Ginsberg
2008 Molecular Biology of the Cell  
The aim of this study was to identify the G protein and signaling pathway involved in PAR 1 -mediated CCL2 production and release.  ...  We propose that targeting the interaction between PAR 1 and G␣ q may allow us to selectively interfere with PAR 1 proinflammatory and profibrotic signaling, while preserving the essential role of other  ...  ACKNOWLEDGMENTS The authors thank the following for kindly providing essential research reagents: Professor Shaun Coughlin (University of California, San Francisco, CA) for WT and PAR 1 KO murine lung  ... 
doi:10.1091/mbc.e07-07-0720 pmid:18353977 pmcid:PMC2397294 fatcat:xztrp4lpsfcnzaqrubpnbi6vsa

Compositionality: Evidence from Code- Switching [chapter]

Mareike Keller, Elisabeth Piirainen, Natalia Filatkina, Sören Stumpf, Christian Pfeiffer
2020 Formulaic Language and New Data  
The language-mixing patterns are presented in the framework of the MLF model (Myers-Scotton 2002; Myers-Scotton and Jake 2017).  ...  The findings support both the Superlemma Theory of phraseme processing (Sprenger et al. 2006 ) and the MLF model of code-switching, as they provide empirical evidence for the unitary storage of phrasemes  ...  According to the System Morpheme Principle, only the late outsider system morphemes must be supplied by the ML in bilingual constituents.  ... 
doi:10.1515/9783110669824-009 fatcat:fvs4udubsjbk3perahvzglhyou

Early emergence of structural constraints on code-mixing: evidence from French–English bilingual children

Johanne Paradis, Elena Nicoladis, Fred Genesee
2000 Bilingualism: Language and Cognition  
In contrast, the children produced comparatively more frequent violations of the System Morpheme Principle and showed increasing adherence to this principle over time.  ...  With respect to the Morpheme Order Principle and to the interaction of Congruence and Matrix Language Blocking, they demonstrated consistent adherence with only marginal violations from the outset.  ...  In an extension of the MLF model to the 4±M MLF model, Myers-Scotton and Jake (2000) break down the category of system morphemes into early and late system morphemes.  ... 
doi:10.1017/s1366728900000365 fatcat:4pyuh2dvzjfuvm75g3rxbfkah4
« Previous Showing results 1 — 15 out of 459 results