Concept

Nominal type system

Related publications (71)

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.

Detection of movement onset using EMG signals for upper-limb exoskeletons in reaching tasks

Silvestro Micera

BackgroundTo assist people with disabilities, exoskeletons must be provided with human-robot interfaces and smart algorithms capable to identify the user's movement intentions. Surface electromyographic (sEMG) signals could be suitable for this purpose, bu ...

BMC2019

Objective Morphological Classification of Neocortical Pyramidal Cells

Henry Markram, Kathryn Hess Bellwald, Srikanth Ramaswamy, Rodrigo de Campos Perin, Marwan Muhammad Ahmed Abdellah, Lida Kanari, Ying Shi, Julie Meystre, Yun Wang

A consensus on the number of morphologically different types of pyramidal cells (PCs) in the neocortex has not yet been reached, despite over a century of anatomical studies, due to the lack of agreement on the subjective classifications of neuron types, w ...

Oxford University Press (OUP)2019

Beyond R&D: the role of embodied technological change in affecting employment

Gabriele Pellegrino

In this work, we test the employment impact of distinct types of innovative investments using a representative sample of Spanish manufacturing firms over the period 2002-2013. Our GMM-SYS estimates generate various results, which are partially in contrast ...

SPRINGER2019

Monotonicity Types for Distributed Dataflow

The Lasp programming language provides combinator functions such as Union and Intersection for combining set CRDTs. When designing a CRDT combinator, care must be taken to ensure that the combinator is monotone separately in each of its arguments, so that ...

2017

Monotonicity Types

In the face of the increasing trend in application development to interact with more and more remote services, and cognizant of the fact that issues arising from data consistency and task coordination are core challenges in distributed programming, the sys ...

2017

Type Soundness Proofs with Definitional Interpreters

Tiark Rompf, Nada Amin

While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...

Assoc Computing Machinery2017

Higher-Order Subtyping with Type Intervals

Sandro Stucki

Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...

EPFL2017

Adaptive WENO methods based on radial basis functions reconstruction

Jan Sickmann Hesthaven, Caterina Bigoni

We explore the use of radial basis functions (RBF) in the weighted essentially non-oscillatory (WENO) reconstruction process used to solve hyperbolic conservation laws, resulting in a numerical method of arbitrarily high order to solve problems with discon ...

Springer Verlag2017

Gene regulatory mechanisms underlying the intestinal innate immune response

Bart Deplancke, Antonio Carlos Alves Meireles Filho

In the mammalian gastrointestinal tract, distinct types of cells, including epithelial cells and macrophages, collaborate to eliminate ingested pathogens while striving to preserve the commensal microbiota. The underlying innate immune response is driven b ...

Elsevier2017

A Study of Capability-Based Effect Systems

Fengyun Liu

The problem of effect polymorphism is a major obstacle to wide adoption of effect systems in the programming community. The absence of effect systems reduces compiler optimization opportunities and disables effect constraints on APIs in parallel and distri ...

2016