Search results for "scala"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Guillaume Martres	Pathless Scala: a calculus for the rest of Scala.	SCALA@SPLASH	2021	DBLP DOI BibTeX RDF
80	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
78	Philipp Haller	Enhancing closures in scala 3 with spores3.	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
78	Jamie Willis, Nicolas Wu	Design patterns for parser combinators in scala.	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
78	Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux	Implementing path-dependent GADT reasoning for Scala 3.	SCALA@SPLASH	2021	DBLP DOI BibTeX RDF
78	Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták	Safer exceptions for Scala.	SCALA@SPLASH	2021	DBLP DOI BibTeX RDF
78	Jonas De Bleser, Dario Di Nucci, Coen De Roover	SoCRATES: Scala radar for test smells.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
78	Konstantin Läufer, John O'Sullivan, George K. Thiruvathukal	Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
78	Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso	Towards improved GADT reasoning in Scala.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
78	Sébastien Doeraene	Cross-platform language design in Scala.js (keynote).	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
78	Olof Karlsson, Philipp Haller	Extending Scala with records: design, implementation, and evaluation.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
78	Reynold Xin	Spark and Scala (keynote).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
78	Nathaniel Nystrom	A Scala framework for supercompilation.	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
78	Jonathan Immanuel Brachthäuser, Philipp Schuster	Effekt: extensible algebraic effects in Scala (short paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
78	Lars Kroll, Paris Carbone, Seif Haridi	Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
78	Franck Cassez, Anthony M. Sloane	ScalaSMT: satisfiability modulo theory in Scala (tool paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
78	Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki	Semantics-driven interoperability between Scala.js and JavaScript.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Tim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser	A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi	SecureScala: Scala embedding of secure computations.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Anthony M. Sloane, Franck Cassez, Scott Buckley	The sbt-rats parser generator plugin for Scala (tool paper).	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Mikaël Mayer, Ravichandhran Madhavan	A Scala library for testing student assignments on concurrent programming.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker	Scaps: type-directed API search for Scala.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover	Building a modular static analysis framework in Scala (tool paper).	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Georg Stefan Schmid, Viktor Kuncak	SMT-based checking of predicate-qualified types for Scala.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
78	Patrick Prémont	Referential integrity with Scala types.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
78	Philippe Suter, Olivier Tardieu, Josh Milthorpe	Distributed programming in Scala with APGAS.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
78	Ivan Kuraj, Viktor Kuncak	SciFe: Scala framework for efficient enumeration of data structures with invariants.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
78	Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini	Towards virtual traits in Scala.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
78	Martin Ring, Christoph Lüth	Real-time collaborative Scala development with Clide.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
78	Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf	What are the Odds?: probabilistic programming in Scala.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
78	Sébastien Doeraene, Peter Van Roy	A new concurrency model for Scala based on a declarative dataflow core.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
78	Eugene Burmako	Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
78	Christoph Höger, Martin Zuber	Towards a tight integration of a functional web client language into Scala.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
78	Lukas Stadler, Gilles Duboscq, Hanspeter Mössenböck, Thomas Würthinger, Doug Simon	An experimental study of the influence of dynamic compiler optimizations on Scala performance.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
78	Régis Blanc	CafeSat: a modern SAT solver for Scala.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
63	Lukas Rytz, Martin Odersky	Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language.	SAC	2010	DBLP DOI BibTeX RDF	default arguments, named arguments, scala
59		Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, Berlin, Germany, 6 June 2022	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
59	Olivier Blanvillain	Type-safe regular expressions.	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
59	Yaoyu Zhao, Ondrej Lhoták	Explicit nulls with unsafe nulls.	SCALA@ECOOP	2022	DBLP DOI BibTeX RDF
59	Julien Richard-Foy, Sébastien Doeraene (eds.)	SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021	SCALA@SLASH	2021	DBLP DOI BibTeX RDF
59	Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham	Safe object initialization, abstractly.	SCALA@SPLASH	2021	DBLP DOI BibTeX RDF
59	Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom (eds.)	Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019.	Scala@ECOOP	2019	DBLP DOI BibTeX RDF
59	Alceste Scalas, Nobuko Yoshida, Elias Benussi	Effpi: verified message-passing programs in Dotty.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
59	Alex Jeffery	Dependent object types with implicit functions.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
59	Sebastian Erdweg, Bruno C. d. S. Oliveira (eds.)	Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Jacob Donham	A domain-specific language for microservices.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Ifaz Kabir, Ondrej Lhoták	κDOT: scaling DOT with mutation and constructors.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Fengyun Liu, Aggelos Biboudis, Martin Odersky	Initialization patterns in Dotty.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon V. Grigorev	Parser combinators for context-free path querying.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Jaemin Hong, Jihyeok Park, Sukyoung Ryu	Path dependent types with path-equality.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Jamie Willis, Nicolas Wu	Garnishing parsec with parsley.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Denys Shabalin, Martin Odersky	Interflow: interprocedural flow-sensitive type inference and method duplication.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky	Truly abstract interfaces for algebraic data types: the extractor typing problem.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
59	Heather Miller, Philipp Haller, Ondrej Lhoták (eds.)	Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Lionel Parreaux, Amir Shaikhha, Christoph E. Koch	Squid: type-safe, hygienic, and reusable quasiquotes.	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger	Making collection operations optimal with aggressive JIT compilation.	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Leo Osvald, Tiark Rompf	Rust-like borrowing with 2nd-class values (short paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Guillaume Martres	Interactive development using the Dotty compiler (tool paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Abel Nieto	Towards algorithmic typing for DOT (short paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Tongfei Chen	Typesafe abstractions for tensor operations (short paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Adelbert Chang	The limitations of type classes as subtyped implicits (short paper).	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
59	Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche (eds.)	Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
59	Georg Ofenbeck, Tiark Rompf, Markus Püschel	RandIR: differential testing for embedded compilers.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
59	Martin Odersky, Guillaume Martres, Dmitry Petrashko	Implementing higher-kinded types in Dotty.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
59	Fengyun Liu	A generic algorithm for checking exhaustivity of pattern matching (short paper).	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
59	Tiark Rompf	Reflections on LMS: exploring front-end alternatives.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
59	Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi	Reactive Async: expressive deterministic concurrency.	SCALA@SPLASH	2016	DBLP DOI BibTeX RDF
59	Philipp Haller, Heather Miller (eds.)	Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015	Scala@PLDI	2015	DBLP DOI BibTeX RDF
59	Nicolas Voirol, Etienne Kneuss, Viktor Kuncak	Counter-example complete verification for higher-order functions.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
59	Christopher Métrailler, Pierre-André Mudry	ESPeciaL: an embedded systems programming language.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
59	Manohar Jonnalagedda, Sandro Stucki	Fold-based fusion as a library: a generative programming pearl.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
59	Aleksandar Prokopec	SnapQueue: lock-free queue with constant time snapshots.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
59	Régis Blanc, Viktor Kuncak	Sound reasoning about integral data types with a reusable SMT solver interface.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
59	Philipp Haller, Heather Miller (eds.)	Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59	Aggelos Biboudis, Eugene Burmako	MorphScala: safe class morphing with macros.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59	Aleksandar Prokopec, Philipp Haller, Martin Odersky	Containers and aggregates, mutators and isolates for reactive programming.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59	Evgenii Kotelnikov	Type-directed language extension for effectful computations.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59	Cédric Bastin, Vlad Ureche, Martin Odersky	ScalaDyno: making name resolution and type checking fault-tolerant.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59	Jiansen He, Philip Wadler, Philip W. Trinder	Typecasting actors: from Akka to TAkka.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59	Eric Béguet, Manohar Jonnalagedda	Accelerating parser combinators with macros.	SCALA@ECOOP	2014	DBLP DOI BibTeX RDF
59		Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
59	Hubert Plociniczak	Scalad: an interactive type-level debugger.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
59	Daniel Kröni, Raphael Schweizer	Parsing graphs: applying parser combinators to graph traversals.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
59	Nicolas Stucki, Vlad Ureche	Bridging islands of specialized code using macros and reified types.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
59	Paolo G. Giarrusso	Open GADTs and declaration-site variance: a problem statement.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
59	André van Delft	Dataflow constructs for a language extension based on the algebra of communicating processes.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
59	Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter	An overview of the Leon verification system: verification by translation to recursive functions.	SCALA@ECOOP	2013	DBLP DOI BibTeX RDF
57	Adriaan Moors	Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice.		2009	RDF
54	Vincent Cremet, Martin Odersky	PiLib: A Hosted Language for Pi-Calculus Style Concurrency.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
45	Dean Wampler	Scala Web Frameworks: Looking Beyond Lift.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	Play framework, Scalatra, Finagle, functional programming, Web development, Scala
45	Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis	ScalaLab: An Effective Scala-Based Scientific Programming Environment for Java.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Groovy, class loaders, Java, interpreters, Matlab, scripting, functional languages, binding, scientific programming, dynamic languages, Scala
44	Adriaan Moors, Frank Piessens, Martin Odersky	Generics of a higher kind.	OOPSLA	2008	DBLP DOI BibTeX RDF	higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
44	Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors	Polymorphic embedding of dsls.	GPCE	2008	DBLP DOI BibTeX RDF	pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
44	Adriaan Moors, Frank Piessens, Wouter Joosen	An object-oriented approach to datatype-generic programming.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	datatype-genericity, scala, polytypic programming
40		12th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, ScalA@SC 2021, St. Louis, MN, USA, November 19, 2021	ScalA@SC	2021	DBLP DOI BibTeX RDF
40	Yen-Chen Chen, Kengo Nakajima	Optimized Cascadic Multigrid Parareal Method for Explicit Time-Marching Schemes.	ScalA@SC	2021	DBLP DOI BibTeX RDF
40	Isha Aggarwal, Aditya Kashi, Pratik Nayak, Cody J. Balos, Carol S. Woodward, Hartwig Anzt	Batched Sparse Iterative Solvers for Computational Chemistry Simulations on GPUs.	ScalA@SC	2021	DBLP DOI BibTeX RDF
40	Mustafa Emre Sahin, Anton Lebedev, Maksims Abalenkovs, Vassil Alexandrov 0001	Usability of Markov Chain Monte Carlo Preconditioners in Practical Problems.	ScalA@SC	2021	DBLP DOI BibTeX RDF
40	Gonzalo Berger, Manuel Freire 0002, Renzo Marini, Ernesto Dufrechou, Pablo Ezzatti	Unleashing the performance of bmSparse for the sparse matrix multiplication in GPUs.	ScalA@SC	2021	DBLP DOI BibTeX RDF
40	Brian A. Page, Peter M. Kogge	Passel: Improved Scalability and Efficiency of Distributed SVM using a Cacheless PGAS Migrating Thread Architecture.	ScalA@SC	2021	DBLP DOI BibTeX RDF