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

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By ACM Press

9781450320641
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals CafeSat

2013 ◽  
Author(s):  
Régis Blanc

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

2013 ◽  
Author(s):  
Christoph Höger ◽  
Martin Zuber
Keyword(s):  
Tight Integration

Scalad

2013 ◽  
Author(s):  
Hubert Plociniczak

Parsing graphs

2013 ◽  
Author(s):  
Daniel Kröni ◽  
Raphael Schweizer

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

2013 ◽  
Author(s):  
Lukas Stadler ◽  
Gilles Duboscq ◽  
Hanspeter Mössenböck ◽  
Thomas Würthinger ◽  
Doug Simon
Keyword(s):  
Experimental Study ◽  
Compiler Optimizations

Open GADTs and declaration-site variance

2013 ◽  
Author(s):  
Paolo G. Giarrusso

An overview of the Leon verification system

2013 ◽  
Author(s):  
Régis Blanc ◽  
Viktor Kuncak ◽  
Etienne Kneuss ◽  
Philippe Suter
Keyword(s):  
Verification System
Load More ...
Sign in / Sign up

Export Citation Format

Share Document