The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Scala@ECOOP"( http://dblp.L3S.de/Venues/Scala@ECOOP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ecoop

Publication years (Num. hits)
2013 (13) 2014 (10) 2019 (6) 2022 (5)
Publication types (Num. hits)
inproceedings(30) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Olivier Blanvillain Type-safe regular expressions. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yaoyu Zhao, Ondrej Lhoták Explicit nulls with unsafe nulls. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Philipp Haller Enhancing closures in scala 3 with spores3. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jamie Willis, Nicolas Wu Design patterns for parser combinators in scala. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1 Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, Berlin, Germany, 6 June 2022 Search on Bibsonomy SCALA@ECOOP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alceste Scalas, Nobuko Yoshida, Elias Benussi Effpi: verified message-passing programs in Dotty. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jonathan 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. Search on Bibsonomy Scala@ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jonas De Bleser, Dario Di Nucci, Coen De Roover SoCRATES: Scala radar for test smells. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Konstantin 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. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso Towards improved GADT reasoning in Scala. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alex Jeffery Dependent object types with implicit functions. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ivan Kuraj, Viktor Kuncak SciFe: Scala framework for efficient enumeration of data structures with invariants. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aggelos Biboudis, Eugene Burmako MorphScala: safe class morphing with macros. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aleksandar Prokopec, Philipp Haller, Martin Odersky Containers and aggregates, mutators and isolates for reactive programming. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini Towards virtual traits in Scala. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Evgenii Kotelnikov Type-directed language extension for effectful computations. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cédric Bastin, Vlad Ureche, Martin Odersky ScalaDyno: making name resolution and type checking fault-tolerant. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Ring, Christoph Lüth Real-time collaborative Scala development with Clide. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiansen He, Philip Wadler, Philip W. Trinder Typecasting actors: from Akka to TAkka. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philipp Haller, Heather Miller (eds.) Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014 Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eric Béguet, Manohar Jonnalagedda Accelerating parser combinators with macros. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf What are the Odds?: probabilistic programming in Scala. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hubert Plociniczak Scalad: an interactive type-level debugger. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sébastien Doeraene, Peter Van Roy A new concurrency model for Scala based on a declarative dataflow core. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Eugene Burmako Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Kröni, Raphael Schweizer Parsing graphs: applying parser combinators to graph traversals. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christoph Höger, Martin Zuber Towards a tight integration of a functional web client language into Scala. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolas Stucki, Vlad Ureche Bridging islands of specialized code using macros and reified types. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lukas 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. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Régis Blanc CafeSat: a modern SAT solver for Scala. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo G. Giarrusso Open GADTs and declaration-site variance: a problem statement. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1 Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013 Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1André van Delft Dataflow constructs for a language extension based on the algebra of communicating processes. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter An overview of the Leon verification system: verification by translation to recursive functions. Search on Bibsonomy SCALA@ECOOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license