Concept

Map (higher-order function)

Publications associées (31)

Macro Annotations for Scala 3

Macro annotations are an important feature in Scala 2 macro system. Many projects use macro annotations to implement their systems or libraries. Due to the unportability of Scala 2 macro system, Scala 3 redesigns the macro system to make it more reliable a ...

2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Neural substrates of psychosis revealed by altered dependencies between brain activity and white-matter architecture in individuals with 22q11 deletion syndrome

Dimitri Nestor Alice Van De Ville, Maria Giulia Preti, Farnaz Delavari, Karin Bortolin, Emeline Mullier

Background: Dysconnectivity has been consistently proposed as a major key mechanism in psychosis. Indeed, disruptions in large-scale structural and functional brain networks have been associated with psychotic symptoms. However, brain activity is largely c ...

ELSEVIER SCI LTD2022

Geometric landscapes for material discovery within energy–structure–function maps

Berend Smit, Seyedmohamad Moosavi, Henglu Xu

Porous molecular crystals are an emerging class of porous materials formed by crystallisation of molecules with weak intermolecular interactions, which distinguishes them from extended nanoporous materials like metal–organic frameworks (MOFs). To aid disco ...

2020

A computational biophysical model of thalamic and reticular nucleus microcircuitry: from neurons to emergent network dynamics

Elisabetta Iavarone

The thalamus, once believed to be a simple relay station between the body periphery and the neocortex, has started to be recognized as a key player in higher-order functions, such as attention. It participates in the transition between brain states, such a ...

EPFL2020

The unfolding argument: Why IIT and other causal structure theories cannot explain consciousness

Michael Herzog, Kathryn Hess Bellwald, Adrien Christophe Doerig, Aaron Schurger

How can we explain consciousness? This question has become a vibrant topic of neuroscience research in recent decades. A large body of empirical results has been accumulated, and many theories have been proposed. Certain theories suggest that consciousness ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019

Faster Algorithms for Integer Programs with Block Structure

Friedrich Eisenbrand, Kim-Manuel Klein, Christoph Hunkenschröder

We consider integer programming problems max {c^Tx : A x = b, l

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2018

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Viktor Kuncak, Ravichandhran Kandhadai Madhavan, Sumith Kulal

We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. a ...

Assoc Computing Machinery2017

Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers

Nada Amin

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down) casting. Fortunately, parame ...

Assoc Computing Machinery2016

Call Graphs for Languages with Parametric Polymorphism

Martin Odersky, Vlad Ureche, Dmytro Petrashko

The performance of contemporary object oriented languages depends on optimizations such as devirtualization, inlining, and specialization, and these in turn depend on precise call graph analysis. Existing call graph analyses do not take advantage of the in ...

2016

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