Proceedings of the 4th Workshop on Scala - SCALA '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450320641

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CafeSat

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489839 ◽

2013 ◽

Author(s):

Régis Blanc

Download Full-text

Towards a tight integration of a functional web client language into Scala

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489843 ◽

2013 ◽

Author(s):

Christoph Höger ◽

Martin Zuber

Keyword(s):

Tight Integration

Download Full-text

Scalad

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489845 ◽

2013 ◽

Cited By ~ 1

Author(s):

Hubert Plociniczak

Download Full-text

Scala macros: let our powers combine!

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489840 ◽

2013 ◽

Cited By ~ 55

Author(s):

Eugene Burmako

Download Full-text

Parsing graphs

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489844 ◽

2013 ◽

Cited By ~ 1

Author(s):

Daniel Kröni ◽

Raphael Schweizer

Download Full-text

An experimental study of the influence of dynamic compiler optimizations on Scala performance

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489846 ◽

2013 ◽

Cited By ~ 17

Author(s):

Lukas Stadler ◽

Gilles Duboscq ◽

Hanspeter Mössenböck ◽

Thomas Würthinger ◽

Doug Simon

Keyword(s):

Experimental Study ◽

Compiler Optimizations

Download Full-text

Open GADTs and declaration-site variance

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489842 ◽

2013 ◽

Cited By ~ 3

Author(s):

Paolo G. Giarrusso

Download Full-text

Bridging islands of specialized code using macros and reified types

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489847 ◽

2013 ◽

Cited By ~ 5

Author(s):

Nicolas Stucki ◽

Vlad Ureche

Download Full-text

Dataflow constructs for a language extension based on the algebra of communicating processes

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489849 ◽

2013 ◽

Cited By ~ 1

Author(s):

André van Delft

Keyword(s):

Communicating Processes ◽

Language Extension ◽

Algebra Of Communicating Processes

Download Full-text

An overview of the Leon verification system

Proceedings of the 4th Workshop on Scala - SCALA '13 ◽

10.1145/2489837.2489838 ◽

2013 ◽

Cited By ~ 32

Author(s):

Régis Blanc ◽

Viktor Kuncak ◽

Etienne Kneuss ◽

Philippe Suter

Keyword(s):

Verification System

Download Full-text

Proceedings of the 4th Workshop on Scala - SCALA '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

CafeSat

Towards a tight integration of a functional web client language into Scala

Scalad

Scala macros: let our powers combine!

Parsing graphs

An experimental study of the influence of dynamic compiler optimizations on Scala performance

Open GADTs and declaration-site variance

Bridging islands of specialized code using macros and reified types

Dataflow constructs for a language extension based on the algebra of communicating processes

An overview of the Leon verification system

Proceedings of the 4th Workshop on Scala - SCALA '13
Latest Publications