Publication

Type-preserving compilation of (most of) FGJ into DOT

Related publications (46)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Consistent Packet Processing - Because Consistent Updates Are Not Enough

Dejan Kostic, Marco Canini, Peter Peresini, Maciej Leszek Kuzniar, Nedeljko Vasic

In this poster and demo, we showcase a new class of problems that can occur due to inconsistent packet processing at an OpenFlow controller. We proceed to outline a potential solution. ...

2013

Dependent Object Types

Martin Odersky, Nada Amin

We propose a new type-theoretic foundation of Scala and languages like it: the Dependent Object Types (DOT) calculus. DOT models Scala’s path-dependent types, abstract type members and its mixture of nominal and structural typing through the use of reﬁneme ...

2012

On Fast Code Completion using Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

On Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

2012

Spatially and genetically distinct control of seed germination by phytochromes A and B

Christian Fankhauser

Phytochromes phyB and phyA mediate a remarkable developmental switch whereby, early upon seed imbibition, canopy light prevents phyB-dependent germination, whereas, later on, it stimulates phyA-dependent germination. Using a seed coat bedding assay where t ...

Cold Spring Harbor Lab Press, Publications Dept2012

Code Completion using Quantitative Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ruzica Piskac

2011

Backtracking of Colloids: A Multiparticle Collision Dynamics Simulation Study

Giuseppe Foffi, Maxim Belushkin

The role of sound in the dynamics of mesoscale systems is typically neglected, since frequently the associated time scales are much smaller than all the other time scales of interest. However, for sufficiently small objects embedded in a solvent with a suf ...

2011

Compiling Scala for Performance

Iulian Dragos

Scala is a new programming language bringing together object-oriented and functional programming. Its defining features are uniformity and extensibility. Scala offers great flexibility for programmers, allowing them to grow the language through libraries. ...

EPFL2010

Improving API Documentation for Java-like Languages

Gilles Dubochet, Donna Malayeri

The Javadoc paradigm for displaying API documentation to users is quite popular, with similar variants existing for many mainstream languages. However, two user interface design properties of Javadoc may reduce its utility when displaying documentation for ...

2010

Transliteration among Indian Languages using WX Notation

Pulkit Goyal, Sapan Diwakar, Rohit Gupta

In this paper, we propose an algorithm to transliterate between several Indian languages. The main aim of the algorithm is to assist in the translation process by providing efﬁcient transliteration. This algorithm works on Unicode transformation format of ...

Saarland University Press2010