English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#scala16 search results

biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

One picture is worth a thousand lambdas! Welcome to #scala16 #scala @splashcon @scala_lang

biboudis's tweet image. One picture is worth a thousand lambdas! Welcome to #scala16 #scala @splashcon @scala_lang
0
14
18
0
0
manojah_shanti's profile picture. Greetings to the I
Manohar Jonnalagedda
 @manojah_shanti
Oct 30, 2016

Lukas Wegmann on type-directed search for Scala, aka a "Hoogle for Scala". #scala16 #splash16

manojah_shanti's tweet image. Lukas Wegmann on type-directed search for Scala, aka a "Hoogle for Scala". #scala16 #splash16
2
5
11
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

Implementing Higher-Kinded Types in Dotty by @odersky #scala16 #splash16

biboudis's tweet image. Implementing Higher-Kinded Types in Dotty by @odersky #scala16 #splash16
0
5
6
0
0
sylviagrewe's profile picture. Consultant at siticom Weiterstadt - Network Transformation
Sylvia Grewe
 @sylviagrewe
Oct 30, 2016

Yes, I know this problem only too well ;) #scala16

sylviagrewe's tweet image. Yes, I know this problem only too well ;) #scala16
0
2
5
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 30, 2016

Taming the complexity of pattern matching in dotty by Fengyun Liu at #scala16 @splashcon

stuckintheory's tweet image. Taming the complexity of pattern matching in dotty by Fengyun Liu at #scala16 @splashcon
0
3
8
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

Georg Schmid is adding more (qualified) types to #Scala at #scala16 @splashcon

stuckintheory's tweet image. Georg Schmid is adding more (qualified) types to #Scala at #scala16 @splashcon
0
6
5
0
0
guidosalva's profile picture. Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Guido Salvaneschi
 @guidosalva
Oct 30, 2016

Markus Hauck presenting our paper "SecureScala: Scala Embedding of Secure Computation" #scala16 #splashcon @CYSEC_Darmstadt @stg_darmstadt

guidosalva's tweet image. Markus Hauck presenting our paper "SecureScala: Scala Embedding of Secure Computation" #scala16 #splashcon @CYSEC_Darmstadt @stg_darmstadt
1
5
4
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

"Teach PL through definitional interpreters" ✔✔✔ #scala16 #scala @void_architect

biboudis's tweet image. "Teach PL through definitional interpreters" ✔✔✔ #scala16 #scala @void_architect
0
2
1
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

Fine-grained language composition without a common VM #scala16 @laurencetratt #splash16

biboudis's tweet image. Fine-grained language composition without a common VM #scala16 @laurencetratt #splash16
0
4
2
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

Unconferencing topics!!!!! Can't wait! #scala16

biboudis's tweet image. Unconferencing topics!!!!! Can't wait! #scala16
0
0
1
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

@Mandar_2812 giving a student talk on machine learning in #Scala using DynaML at #scala16 @splashcon

stuckintheory's tweet image. @Mandar_2812 giving a student talk on machine learning in #Scala using DynaML at #scala16 @splashcon
0
4
2
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

Kartik Chandra showing us how to automatically find soundness bugs in typecheckers at #scala16 @splashcon

stuckintheory's tweet image. Kartik Chandra showing us how to automatically find soundness bugs in typecheckers at #scala16 @splashcon
0
3
4
0
0
laurencetratt's profile picture. Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Laurence Tratt
 @laurencetratt
Oct 30, 2016

The @splashcon gifts this year are nicely localised (Delft pottery) (#scala16 slides at soft-dev.org/talks/2016/sca…)

laurencetratt's tweet image. The @splashcon gifts this year are nicely localised (Delft pottery) (#scala16 slides at soft-dev.org/talks/2016/sca…)
0
5
13
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 30, 2016

RandIR: @ofenbeck shows us how to find bugs in your DSL by generating broken programs efficiently at #scala16 @splashcon

stuckintheory's tweet image. RandIR: @ofenbeck shows us how to find bugs in your DSL by generating broken programs efficiently at #scala16 @splashcon
0
3
4
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 30, 2016

Scale up your teaching infrastructure! @void_architect rounding off the day at #scala16 @splashcon

stuckintheory's tweet image. Scale up your teaching infrastructure! @void_architect rounding off the day at #scala16 @splashcon
0
7
4
0
0
TimvdLippe's profile picture. Development Tooling engineer @AdyenDevs. @MockitoJava core developer. Former @ChromeDevTools, @Polymer. Completed Master Computer Science at TU Delft
Tim van der Lippe
 @TimvdLippe
Nov 5, 2016

Our experience report accepted at #scala16 is now also available on Google Scholar and acm: scholar.google.nl/citations?hl=n…

0
0
0
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Nov 4, 2016

An amazing week in Amsterdam at #splash16 #oopsla16 #scala16 and many many more has ended. Inspired and motivated!

0
2
6
0
0
Luegg1's profile picture. Makes software. Mostly for the web. Ideally with Scala. Enjoys all sorts of programming language geekery. And Mountains. Mountains are great!
Luegg
 @Luegg1
Nov 2, 2016

Slides of my #scala16 talk "Scaps: Type-Directed API Search for Scala" are now available at luegg.github.io

0
0
3
0
0
manojah_shanti's profile picture. Greetings to the I
Manohar Jonnalagedda
 @manojah_shanti
Oct 31, 2016

And with that we conclude #scala16 at #splash16. Thanks for joining us, and for the wonderful talks! See you next year!

biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

One picture is worth a thousand lambdas! Welcome to #scala16 #scala @splashcon @scala_lang

biboudis's tweet image. One picture is worth a thousand lambdas! Welcome to #scala16 #scala @splashcon @scala_lang
0
14
18
0
0
0
1
1
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

Unconferencing topics!!!!! Can't wait! #scala16

biboudis's tweet image. Unconferencing topics!!!!! Can't wait! #scala16
0
0
1
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

Proceedings of the 2016 7th ACM SIGPLAN Symposium on #Scala are out dl.acm.org/citation.cfm?i… #scala16

0
2
0
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

sbt-rats parser generator plugin for scala with live demo by @inkytonik #scala16

biboudis's tweet image. sbt-rats parser generator plugin for scala with live demo by @inkytonik #scala16
biboudis's tweet image. sbt-rats parser generator plugin for scala with live demo by @inkytonik #scala16
0
3
0
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

Our CSS talk (in #scala16) formalizes the specification using attribute grammars. You would like that @tvdstorm

0
1
1
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

If you like CSS and attribute grammars, you'll really like a formalization of the CSS layout spec in Scala by Scott Buckley #scala16 #scala

biboudis's tweet image. If you like CSS and attribute grammars, you'll really like a formalization of the CSS layout spec in Scala by Scott Buckley #scala16 #scala
1
3
0
0
0
sylviagrewe's profile picture. Consultant at siticom Weiterstadt - Network Transformation
Sylvia Grewe
 @sylviagrewe
Oct 31, 2016

Youngest speaker at #scala16: Kartik Chandra (still in High School) on "Automatically finding Scala Soundness Bugs"

0
8
16
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

Kartik Chandra showing us how to automatically find soundness bugs in typecheckers at #scala16 @splashcon

stuckintheory's tweet image. Kartik Chandra showing us how to automatically find soundness bugs in typecheckers at #scala16 @splashcon
0
3
4
0
0
CoenDeRoover's profile picture. Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
Coen De Roover
 @CoenDeRoover
Oct 31, 2016

.@acieroid Giving a tour of the scala-am framework for building abstract interpreters #scala16 at #splashcon soft.vub.ac.be/Publications/2…

CoenDeRoover's tweet image. .@acieroid Giving a tour of the scala-am framework for building abstract interpreters #scala16 at #splashcon soft.vub.ac.be/Publications/2…
0
6
4
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

@acieroid presenting the Scala-AM framework for static analysis at #scala16 github.com/acieroid/scala… @splashcon

stuckintheory's tweet image. @acieroid presenting the Scala-AM framework for static analysis at #scala16 github.com/acieroid/scala… @splashcon
0
0
0
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

Ravi Madhavan telling us how to unit-test student's concurrent programs at #scala16 @splashcon

stuckintheory's tweet image. Ravi Madhavan telling us how to unit-test student's concurrent programs at #scala16 @splashcon
0
2
1
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

Verifying safety properties with "SMT-Based Checking of Predicate-Qualified Types for Scala" #scala16 #scala

0
4
1
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

Georg Schmid is adding more (qualified) types to #Scala at #scala16 @splashcon

stuckintheory's tweet image. Georg Schmid is adding more (qualified) types to #Scala at #scala16 @splashcon
0
6
5
0
0
MrsTech_'s profile picture. #Recruiter @ThomsonReuters @Refinitiv #Technology #Ukrainian Views are my own, ReTweets are not endorsements.
Tetyana Kryvolap
 @MrsTech_
Oct 31, 2016

@RichTechex It would be great to see you there ;-) Feel free to bring a few mates along too! #Redis #java #scala16

MrsTech_'s tweet image. @RichTechex It would be great to see you there ;-) Feel free to bring a few mates along too! #Redis #java #scala16
0
0
0
0
0
markus1189's profile picture. All tweets strongly typed.
Markus
 @markus1189
Oct 31, 2016

Back ony way home to Germany after having a nice time in France at #scalaio2016 and Amsterdam for the Scala Symposium #scala16

0
0
2
0
0
guidosalva's profile picture. Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Guido Salvaneschi
 @guidosalva
Oct 30, 2016

Markus Hauck presenting our paper "SecureScala: Scala Embedding of Secure Computation" #scala16 #splashcon @CYSEC_Darmstadt @stg_darmstadt

guidosalva's tweet image. Markus Hauck presenting our paper "SecureScala: Scala Embedding of Secure Computation" #scala16 #splashcon @CYSEC_Darmstadt @stg_darmstadt
1
5
4
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

One picture is worth a thousand lambdas! Welcome to #scala16 #scala @splashcon @scala_lang

biboudis's tweet image. One picture is worth a thousand lambdas! Welcome to #scala16 #scala @splashcon @scala_lang
0
14
18
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

Implementing Higher-Kinded Types in Dotty by @odersky #scala16 #splash16

biboudis's tweet image. Implementing Higher-Kinded Types in Dotty by @odersky #scala16 #splash16
0
5
6
0
0
sylviagrewe's profile picture. Consultant at siticom Weiterstadt - Network Transformation
Sylvia Grewe
 @sylviagrewe
Oct 30, 2016

Yes, I know this problem only too well ;) #scala16

sylviagrewe's tweet image. Yes, I know this problem only too well ;) #scala16
0
2
5
0
0
stsatlantis's profile picture. Works @Coralogix Never underestimate the capabilities of lazy people!
stsatlantis
 @stsatlantis
Oct 30, 2016

Scala spirit animal proposal :) #scala16 created by @BubumaciBjork

stsatlantis's tweet image. Scala spirit animal proposal :) #scala16 created by @BubumaciBjork
0
2
2
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

"Teach PL through definitional interpreters" ✔✔✔ #scala16 #scala @void_architect

biboudis's tweet image. "Teach PL through definitional interpreters" ✔✔✔ #scala16 #scala @void_architect
0
2
1
0
0
manojah_shanti's profile picture. Greetings to the I
Manohar Jonnalagedda
 @manojah_shanti
Oct 30, 2016

Lukas Wegmann on type-directed search for Scala, aka a "Hoogle for Scala". #scala16 #splash16

manojah_shanti's tweet image. Lukas Wegmann on type-directed search for Scala, aka a "Hoogle for Scala". #scala16 #splash16
2
5
11
0
0
laurencetratt's profile picture. Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Laurence Tratt
 @laurencetratt
Oct 30, 2016

The @splashcon gifts this year are nicely localised (Delft pottery) (#scala16 slides at soft-dev.org/talks/2016/sca…)

laurencetratt's tweet image. The @splashcon gifts this year are nicely localised (Delft pottery) (#scala16 slides at soft-dev.org/talks/2016/sca…)
0
5
13
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 30, 2016

Fine-grained language composition without a common VM #scala16 @laurencetratt #splash16

biboudis's tweet image. Fine-grained language composition without a common VM #scala16 @laurencetratt #splash16
0
4
2
0
0
biboudis's profile picture. Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Aggelos Biboudis
 @biboudis
Oct 31, 2016

Unconferencing topics!!!!! Can't wait! #scala16

biboudis's tweet image. Unconferencing topics!!!!! Can't wait! #scala16
0
0
1
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

Georg Schmid is adding more (qualified) types to #Scala at #scala16 @splashcon

stuckintheory's tweet image. Georg Schmid is adding more (qualified) types to #Scala at #scala16 @splashcon
0
6
5
0
0
grammarware's profile picture. language engineer, ex-chief science officer, research maniac, professor, programmer, hacker, automation enthusiast, wiki addict, grammar nazi, blues fan
Vadim Zaytsev
 @grammarware
Oct 31, 2016

"There is a very predictable number of papers a year about gradualisation" Jan Vitek #scala16 #splash16

grammarware's tweet image. "There is a very predictable number of papers a year about gradualisation" Jan Vitek #scala16 #splash16
0
0
1
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

@Mandar_2812 giving a student talk on machine learning in #Scala using DynaML at #scala16 @splashcon

stuckintheory's tweet image. @Mandar_2812 giving a student talk on machine learning in #Scala using DynaML at #scala16 @splashcon
0
4
2
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 30, 2016

Taming the complexity of pattern matching in dotty by Fengyun Liu at #scala16 @splashcon

stuckintheory's tweet image. Taming the complexity of pattern matching in dotty by Fengyun Liu at #scala16 @splashcon
0
3
8
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

@rssh1 giving an OSS talk at #scala16 about Scala-Gopher: CSP-style concurrency in #Scala @splashcon

stuckintheory's tweet image. @rssh1 giving an OSS talk at #scala16 about Scala-Gopher: CSP-style concurrency in #Scala @splashcon
0
1
0
0
0
stuckintheory's profile picture. Computer scientist, programmer, theorist, science geek (he/him).
Sandro Stucki
 @stuckintheory
Oct 31, 2016

@philippkhaller is tackling the important questions of concurrent programming using Reactive Async at #scala16 @splashcon

stuckintheory's tweet image. @philippkhaller is tackling the important questions of concurrent programming using Reactive Async at #scala16 @splashcon
0
2
0
0
0

Something went wrong.


Something went wrong.


United States Trends