|
|
|
|
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 |
| 1 | Olivier Blanvillain |
Type-safe regular expressions.  |
SCALA@ECOOP  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaoyu Zhao, Ondrej Lhoták |
Explicit nulls with unsafe nulls. |
SCALA@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Haller |
Enhancing closures in scala 3 with spores3. |
SCALA@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Willis, Nicolas Wu |
Design patterns for parser combinators in scala. |
SCALA@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, Berlin, Germany, 6 June 2022 |
SCALA@ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alceste Scalas, Nobuko Yoshida, Elias Benussi |
Effpi: verified message-passing programs in Dotty. |
SCALA@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Jonas De Bleser, Dario Di Nucci, Coen De Roover |
SoCRATES: Scala radar for test smells. |
SCALA@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso |
Towards improved GADT reasoning in Scala. |
SCALA@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Jeffery |
Dependent object types with implicit functions. |
SCALA@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Kuraj, Viktor Kuncak |
SciFe: Scala framework for efficient enumeration of data structures with invariants. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aggelos Biboudis, Eugene Burmako |
MorphScala: safe class morphing with macros. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Prokopec, Philipp Haller, Martin Odersky |
Containers and aggregates, mutators and isolates for reactive programming. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini |
Towards virtual traits in Scala. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii Kotelnikov |
Type-directed language extension for effectful computations. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Bastin, Vlad Ureche, Martin Odersky |
ScalaDyno: making name resolution and type checking fault-tolerant. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ring, Christoph Lüth |
Real-time collaborative Scala development with Clide. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiansen He, Philip Wadler, Philip W. Trinder |
Typecasting actors: from Akka to TAkka. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Eric Béguet, Manohar Jonnalagedda |
Accelerating parser combinators with macros. |
SCALA@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf |
What are the Odds?: probabilistic programming in Scala. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Plociniczak |
Scalad: an interactive type-level debugger. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | 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 |
|
| 1 | Daniel Kröni, Raphael Schweizer |
Parsing graphs: applying parser combinators to graph traversals. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Höger, Martin Zuber |
Towards a tight integration of a functional web client language into Scala. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Stucki, Vlad Ureche |
Bridging islands of specialized code using macros and reified types. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Régis Blanc |
CafeSat: a modern SAT solver for Scala. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo G. Giarrusso |
Open GADTs and declaration-site variance: a problem statement. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013 |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | André van Delft |
Dataflow constructs for a language extension based on the algebra of communicating processes. |
SCALA@ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license