Publications related to On Fast Code Completion using Type Inhabitation

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.

On Repairing Ill-Typed Expressions

Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...

2013

Materials Taking a Lesson from Nature

Holger Frauenrath, Emmanuel Croisier, Liangfei Tian

Structural biomaterials with their often extraordinary properties and versatile functions are typically constructed from very limited sets of building blocks and types of supramolecular interactions. In this review we discuss how, inspired by nature's desi ...

Swiss Chemical Soc2013

On Complete Completion using Types and Weights

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

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Boris Buffoni

The system {-u '' + u = u(3) + lambda v, u(x)= u(-x) is an element of R, x is an element of R, -v '' + v = v(3) + lambda u, v(x) = v(-x) is an element of R, x is an element of R, describes pulses in nonlinear fiber couplers. It has the family (U1+lambda, - ...

Advanced Nonlinear Studies, Inc2012

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

Structured Derivation of Semi-Synchronous Algorithms

André Schiper, Martin Hutle, Zarko Milosevic, Fatemeh Borran, Hagit Albo Attiya

The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, ...

2011

Two types of luminescence blinking revealed by spectroelectrochemistry of single quantum dots

Christophe Marcel Georges Galland

Photoluminescence blinking—random switching between states of high (ON) and low (OFF) emissivities—is a universal property of molecular emitters found in dyes1, polymers2, biological molecules3 and artificial nanostructures such as nanocrystal quantum dots ...

2011

On Fast Code Completion using Type Inhabitation

Graph Chatbot

Chat with Graph Search

On Repairing Ill-Typed Expressions

Materials Taking a Lesson from Nature

On Complete Completion using Types and Weights

Dependent Object Types

Techniques for modelling microstructure in metal forming processes

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

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

Code Completion using Quantitative Type Inhabitation

Structured Derivation of Semi-Synchronous Algorithms

Two types of luminescence blinking revealed by spectroelectrochemistry of single quantum dots

Materials Taking a Lesson from Nature

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

Dependent Object Types

Structured Derivation of Semi-Synchronous Algorithms

On Complete Completion using Types and Weights

On Repairing Ill-Typed Expressions

Code Completion using Quantitative Type Inhabitation

Techniques for modelling microstructure in metal forming processes

Two types of luminescence blinking revealed by spectroelectrochemistry of single quantum dots

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers