Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
7 results for "domain:infoscience.epfl.ch"
4
Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017)
☶
compilers
plt
scala
infoscience.epfl.ch
via
nickpsecurity
4 months ago
|
cached
|
no comments
0
3
Unifying Analytic and Statically-Typed Quasiquotes
☶
pdf
plt
scala
infoscience.epfl.ch
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
2
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes (2017)
☶
pdf
plt
scala
infoscience.epfl.ch
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
3
Isolated Actors for Race-free, Concurrent Programming (2010)
☶
pdf
distributed
plt
scala
infoscience.epfl.ch
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
4
Unification of Compile-Time and Runtime Metaprogramming in Scala (2017)
pdf
compilers
scala
infoscience.epfl.ch
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
4
Extending Safe C Support in Leon (2017)
pdf
c
compsci
formalmethods
scala
infoscience.epfl.ch
via
nickpsecurity
1 year ago
|
cached
|
1 comment
1
2
Compiling Scala For Performance (2010)
pdf
compilers
scala
infoscience.epfl.ch
via
numberten
1 year ago
|
cached
|
no comments
0