Publication

Capturing Types

Publications associées (79)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Spores, Formally

Philipp Haller

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2013

Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software 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 synthesizes ...

ACM2013

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

Extension of FRI for modeling of electrocardiogram signals

Ali Hormati, Gilles Baechler

Recent work has developed a modeling method applicable to certain types of signals having a "finite rate of innovation" (FRI). Such signals contain a sparse collection of time- or frequency-limited pulses having a restricted set of allowable pulse shapes. ...

2013

Mechanical characteristics of Swiss molassic formations

Jean-François Mathier, Mustapha Gencer

The Molasse is a geologic formation which covers most part of the Swiss plateau. This sedimentary formation is constituted by various types of rock such as sandstones, marls (claystones) and siltstones. The Rock Mechanics Laboratory (LMR) of the EPFL has a ...

CRC Press2013

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

Techniques for modelling microstructure in metal forming processes

Roland Logé

This chapter discusses several types of numerical models for metallurgical evolution. First, some basic notions of microstructure representations and microstructure state variables, some features of hardening and recovery and some features of recrystalliza ...

Elsevier Ltd.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