Personne

Nada Amin

Cette personne n’est plus à l’EPFL

Publications associées (20)

À propos
Confidentialité
Mentions légales

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

Nada Amin

Graph Chatbot

Chattez avec Graph Search

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

Foundations of Path-Dependent Types

Computing with an SMT Solver

A Flow-Insensitive, Modular Effect System for Purity

Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

What are the Odds? Probabilistic programming in Scala

JavaScript as an Embedded DSL

Optimizing Data Structures in High-Level Programs: New Directions for Extensible Compilers based on Staging

Dependent Object Types