601 Hits in 2.1 sec

Open GADTs and declaration-site variance

Paolo G. Giarrusso
2013 Proceedings of the 4th Workshop on Scala - SCALA '13  
However, in Scala it is hard to make transformations for typed ASTs type-safe.  ...  Such transformations on typed ASTs are useful for code optimization in deeply embedded DSLs, for instance when using Lightweight Modular Staging (LMS).  ...  Acknowledgments We thank Tillmann Rendel, Sebastian Erdweg, Eugene Burmako and the anonymous reviewers for their helpful comments.  ... 
doi:10.1145/2489837.2489842 dblp:conf/ecoop/Giarrusso13 fatcat:qghjqcnhungp5m23jh62pftocy

An Aqueduct in the Bird's Labyrinth not Previously Recorded, and its Evolutionary Significance

A A Gray
1926 Proceedings of the Royal Society of Medicine  
We are on much safer ground if we also examine the fluid chemically, at least for the chlorides, the estimation of which is very simple.  ...  -Reptile (except Crocodilia).  ... 
pmid:19985138 pmcid:PMC1948179 fatcat:72h2vimk7jazfjdlmtbm55ez2e

Hyaluronic Acid Enhances Gene Delivery into the Cochlea

Seiji B. Shibata, Sarah R. Cortez, James A. Wiler, Donald L. Swiderski, Yehoash Raphael
2012 Human Gene Therapy  
Cochlear gene therapy can be a new avenue for the treatment of severe hearing loss by inducing regeneration or phenotypic rescue.  ...  HA-assisted vector delivery facilitated expression in cells lining the scala media, which are less accessible and not transduced after perilymphatic injection.  ...  In the inner ear, HA has also been used for cochlear implant surgeries as a lubricant to decrease friction and facilitate safer and deeper insertion of the electrode into the scala tympani (Lehnhardt,  ... 
doi:10.1089/hum.2011.086 pmid:22074321 pmcid:PMC3300073 fatcat:bvyozqr65fdkdc4cbhenj25xsi

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution [chapter]

Heather Miller, Philipp Haller, Martin Odersky
2014 Lecture Notes in Computer Science  
We prove our type system sound, implement our approach for Scala, evaluate its practicality through a small empirical study, and show the power of these guarantees through a case analysis of real-world  ...  distributed and concurrent frameworks that this safe foundation for closures facilitates.  ...  Acknowledgements We would like to thank the anonymous ECOOP 2014 referees for their thorough reviews and helpful suggestions which greatly improved the quality of the paper.  ... 
doi:10.1007/978-3-662-44202-9_13 fatcat:idnybttr55egvpf2sarwh6dkmy

Comparative Studies of 10 Programming Languages within 10 Diverse Criteria -- a Team 7 COMP6411-S10 Term Report [article]

Sleiman Rabah, Jiang Li, Mingzhi Liu, Yuanwei Lai
2010 arXiv   pre-print
For example, Default more secure programming practices, Web applications development, OO-based abstraction and etc.  ...  At the end, we will give our conclusion that which languages are suitable and which are not for using in some cases.  ...  Our POD, Yi Ji, for the introductions into AspectJ and Java reflection.  ... 
arXiv:1009.0305v1 fatcat:lcelqyy3ybb6jakrekezv22ajm

Page 149 of Musical World Vol. 65, Issue 9 [page]

1887 Musical World  
His earliest. production was. a libretto for a ‘sacred cantata taken from the “Song of Songs,” purposely written for his intimate friend. and schoolfellow, Mr. Albert Visetti.  ...  and a‘great many gentlemen went to bed with a black eye, or otherwise mangled and bruised. “ Two other performances’ were attempted, and all available seats had been sold, but the police thought it’ safer  ... 

A Solution to the Square-Rectangle Problem Within the Framework of Object Morphology

Zbyněk Šlajchrt
2016 Acta Informatica Pragensia  
The solution is demonstrated using Morpheus, a proof-of-concept implementation of OM in Scala.  ...  This definition follows a Scala code comprehension rule for attribute accessors.  ...  It should be diagnosed as a weakness of Scala and other object oriented languages that they use the same construct for the two distinct operations.  ... 
doi:10.18267/j.aip.83 fatcat:7ljjaue6qzh3xg67t7655bhkhm

Page 375 of All the Year Round Vol. 14, Issue 346 [page]

1875 All the Year Round  
Firstly, it would be dangerous ; secondly, there is no money left except a few francs.  ...  Weapon in hand, he awaits the guardian; but there is no occasion for violence.  ... 

Squid: type-safe, hygienic, and reusable quasiquotes

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
2017 Proceedings of the 8th ACM SIGPLAN International Symposium on Scala - SCALA 2017  
This safer flavor of quasiquotes has been particularly useful for staging and domain-specific languages. In this paper we present Squid, a metaprogramming system for Scala that fills this gap.  ...  Scala has had "syntactic" quasiquotes for a long time, but still misses a statically-typed version like in MetaOCaml, Haskell and F#.  ...  Note that when the Scala compiler type checks a program, it rewrites all expressions into their "fully-explicit" form -in the example above, all forms except the last two are rewritten into f . apply (  ... 
doi:10.1145/3136000.3136005 dblp:conf/scala/ParreauxSK17 fatcat:u3hx5qsx2vfpvfvy3ddfm64yei

Scala for generic programmers

Bruno C.d.S. Oliveira, Jeremy Gibbons
2008 Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08  
Common Haskell techniques for datatype-generic programming can be conveniently replicated in Scala, whereas the extra expressivity provides some important additional benefits in terms of extensibility  ...  Finally, we present three case studies on how to implement in Scala real datatype-generic programming approaches from the literature: Hinze's 'Generics for the Masses', Lämmel and Peyton Jones's 'Scrap  ...  Some of the material from this paper is partly based on the first author's DPhil thesis (Oliveira, 2007, Chapters 2 and 4); particular thanks are due to the DPhil examiners Ralf Hinze and Martin Odersky for  ... 
doi:10.1145/1411318.1411323 dblp:conf/icfp/OliveiraG08 fatcat:zu5cic2mzfhyfpmjcn3msbwwze

Cochlear Implantation Using a Suprameatal Approach in a Case of Severely Contracted Mastoid Cavity

Ji Eun Choi, Jeon Yeob Jang, Yang-Sun Cho
2014 Korean Journal of Audiology  
Past medical history was not noticeable except for the history of bilateral strabismus surgery, and there was no family history of hearing loss.  ...  Case Report A 13-year-old-girl was referred to our clinic for evaluation of candidacy for a cochlear implantation.  ... 
doi:10.7874/kja.2014.18.3.144 pmid:25558410 pmcid:PMC4280758 fatcat:5ruspj52kjhpnaz55w7wd35nb4

chemf: A purely functional chemistry toolkit

Stefan Höck, Rainer Riedl
2012 Journal of Cheminformatics  
All code was written in Scala, a modern multi-paradigm programming language with a strong support for functional programming and a highly sophisticated type system.  ...  Finally, the level of type-safety achieved by Scala highly increased the reliability of our code as well as the productivity of the programmers involved in this project.  ...  Acknowledgements This project was financially supported by the ZHAW (Development of a cheminformatics toolkit as a basis for other chemistry-related software).  ... 
doi:10.1186/1758-2946-4-38 pmid:23253942 pmcid:PMC3660204 fatcat:dx3igceog5hc7pdj7wjgcautcm

JavaScript as an Embedded DSL [chapter]

Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
2012 Lecture Notes in Computer Science  
We embed JavaScript as a DSL in Scala, using Lightweight Modular Staging. DSL code can be compiled to JavaScript or executed as part of the server application.  ...  We use features of the host language to make client-side programming safer and more convenient. We use gradual typing to interface typed DSL programs with existing JavaScript APIs.  ...  First, the translation from JavaScript to our DSL is straightforward: the code looks the same except for some minor declarations.  ... 
doi:10.1007/978-3-642-31057-7_19 fatcat:fncmivvgdzho7nscsbar4rnx44

Symbolic Script Programming for Java [article]

Raphael Jolly, Heinz Kredel
2009 arXiv   pre-print
We present such an interface for Java computer algebra libraries, using scripts available in the JSR 223 framework.  ...  Our view of Scala has shifted a bit away from a scripting language to a language suited for library development as well.  ...  Acknowledgments We thank our colleagues for various discussions and for encouraging our work.  ... 
arXiv:0906.2315v2 fatcat:yehgmia5qbdufccxggfhswhhha

Subtotal petrosectomy and cochlear implantation

Giulia D'Angelo, Giulia Donati, Andrea Bacciu, Maurizio Guida, Maurizio Falcioni
2020 Acta otorhinolaryngologica italica  
Indications for subtotal petrosectomy included the following: cholesteatoma, chronic otitis media, previous canal wall-down, osteoradionecrosis, revision surgery for clinical reasons, inner ear malformations  ...  Three ears were implanted into the scala vestibuli and the remaining 27 into the scala tympani.  ...  The complete control of all the landmarks gives the possibility to perform safer surgical manoeuvres 1,6 .  ... 
doi:10.14639/0392-100x-n0931 pmid:33558774 fatcat:oepkaqdkr5aknc6myhat26zvdy
« Previous Showing results 1 — 15 out of 601 results