Steps in Scala. An introduction to object-functional programming. Scala is a highly expressive, concise and scalable language. It is also the most prominent method of the new and exciting methodology known as object-functional programming. In this book, the authors show how Scala grows to the needs of the programmer, whether professional or hobbyist. They teach Scala with a step-by-step approach and explain how to exploit the full power of the industry-proven JVM technology. Readers can then dive into specially chosen design challenges and implementation problems, inspired by the trials of real-world software engineering. It also helps readers to embrace the power of static typing and automatic type inference. In addition, the book shows how to use the dual-object and functional-oriented natures combined at Scala’s core, and so write code that is less ’boilerplate’, giving a genuine increase in productivity.

References in zbMATH (referenced in 46 articles )

Showing results 1 to 20 of 46.
Sorted by year (citations)

1 2 3 next

  1. Kimmig, Angelika; Mihalkova, Lilyana; Getoor, Lise: Lifted graphical models: a survey (2015)
  2. AbdelGawad, Moez A.: A domain-theoretic model of nominally-typed object-oriented programming (2014)
  3. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  4. Chambers, John M.: Object-oriented programming, functional programming and R (2014)
  5. Ewald, Roland; Uhrmacher, Adelinde M.: SESSL: a domain-specific language for simulation experiments (2014)
  6. Kuncak, Viktor: Verifying and synthesizing software with recursive functions (invited contribution) (2014)
  7. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014)
  8. Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio: On flexible dynamic trait replacement for Java-like languages (2013)
  9. Bettini, Lorenzo; Damiani, Ferruccio; Geilmann, Kathrin; Schäfer, Jan: Combining traits with boxes and ownership types in a Java-like setting (2013)
  10. Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina: Compositional type checking of delta-oriented software product lines (2013)
  11. Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina; Strocco, Fabio: TraitRecordJ: a programming language with traits and records (2013)
  12. Goodman, Daniel; Khan, Behram; Khan, Salman; Luján, Mikel; Watson, Ian: Software transactional memories for Scala (2013)
  13. Na, Hyunik; Ryu, Sukyoung: ThisJava: an extension of Java with exact types (2013)
  14. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: An introduction to search combinators (2013)
  15. Soh, Takehide; Tamura, Naoyuki; Banbara, Mutsunori: Scarab: a rapid prototyping tool for SAT-based constraint programming systems (2013)
  16. Köksal, Ali Sinan; Kuncak, Viktor; Suter, Philippe: Constraints as control (2012)
  17. Lammich, Peter; Tuerk, Thomas: Applying data refinement for monadic programs to Hopcroft’s algorithm (2012)
  18. Reza, Juan Rolando: Java supervenience (2012)
  19. Sergey, Ilya; Clarke, Dave: A correspondence between type checking via reduction and type checking via evaluation (2012)
  20. Wenzel, Makarius: Isabelle/jEdit -- a prover IDE within the PIDE framework (2012)

1 2 3 next

Further publications can be found at: