'Scala' diaporamas de présentation

Invariant Inference for Many-Object Systems

Swiss Federal Institute of Technology, Lausanne. Invariant Inference for Many-Object Systems. http://lara.epfl.ch/~kuncak. joint work with: Thomas Wies, IST Austria. iIWIGP , ETAPS 2011. Viktor Kuncak. Broader Agenda: Implicit Programming. requirements. def f(x : Int ) = {

898 views • 76 slides

Effective Scala

809 views • 68 slides

F# in the cloud

617 views • 53 slides

Scala Next SF Scala meetup Dec 8 th , 2011

668 views • 53 slides

Romain Maton Xebia Twitter : rmat0n

Romain Maton Xebia Twitter : rmat0n. Logo. Citations.

590 views • 51 slides

Multiparadigm Programming in Scala

Multiparadigm Programming in Scala. H. Conrad Cunningham James C. Church Computer and Information Science University of Mississippi. What is Multiparadigm Programming?. Definition:

623 views • 50 slides

Multiparadigm Programming in Scala

Multiparadigm Programming in Scala. Adapted from presentation by H. C. Cunningham and J. C. Church University of Mississipi. What is Multiparadigm Programming?. Definition:

604 views • 48 slides

Intro to Functional Programming in Scala

Intro to Functional Programming in Scala. Joe Barnes. Senior Software Architect System Design Division. October, 2013. Overview. Trends in software influencing the popularity What is different about the paradigm? How do I apply it? More about Scala in particular. Monad tutorial trend.

604 views • 40 slides

How to Fight Bit Rot With Types

How to Fight Bit Rot With Types. Martin Odersky AOSD 2010. Types Can Cause Bit Rot. Types make contracts explicit, so they should help keeping systems consistent. However, if type systems are too week, they might require unnecessary duplication, which can cause bit rot.

544 views • 40 slides

Scala - where are are - where we plan to go

Scala - where are are - where we plan to go. Martin Odersky. Welcome to ScalaDays!. 155 attendees, coming from all corners of the planet. We are packed. Sadly, many more people could not be admitted for lack of space. This shows the drive and energy of this community!

443 views • 38 slides

White p ages Practical Experience Converting from Ruby to Reactive

White p ages Practical Experience Converting from Ruby to Reactive. John Nestor and Dragos Manolescu { jnestor,dmanolescu }@ whitepages.com. Disclaimer. The following material is subjective and represents the views of the presenters.

484 views • 36 slides

Intro to Scala Lists

457 views • 26 slides

Developing Domain-Specific Languages for the JVM

Developing Domain-Specific Languages for the JVM. Travis Dazell Systems Architect Digi -Key Corporation. Outline. What is a Domain Specific Language (DSL)? Internal Versus External DSLs Internal DSLs Java Example without a DSL Improved Java Example using Internal DSL Patterns

432 views • 22 slides

Safely Composable Type-Specific Languages (TSLs)

279 views • 22 slides

The Ear

1.31k views • 20 slides

Efficiency Programming for the (Productive) Masses

Efficiency Programming for the (Productive) Masses. Armando Fox , Bryan Catanzaro, Shoaib Kamil, Yunsup Lee, Ben Carpenter, Erin Carson, Krste Asanovic, Dave Patterson, Kurt Keutzer UC Berkeley Parallel Computing Lab/UPCRC.

357 views • 17 slides

Twitter Copes with Web2.0rhea

276 views • 12 slides

PAST

236 views • 12 slides

209 views • 11 slides

Scala 1: 650.000

Scala 1: 650.000.

74 views • 1 slides