Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Mesa (programming language)

Related publications (6)

A Tangible Programming Language for the Educational Robot Thymio

Francesco Mondada, Christian Giang, Alberto Piatti, Andrea Mussati

In the past, the use of tangible programming languages has shown several advantages compared to screen-based graphical programming languages. Especially when presented to novices, such interfaces may represent a more intuitive and straightforward alternati ...

2019

Verification by Reduction to Functional Programs

Régis William Blanc

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

EPFL2017

Dependent Object Types

Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. In particular, objects can contain type members, which can be selected as ...

EPFL2016

Foundations of Path-Dependent Types

Martin Odersky, Tiark Rompf, Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. An essential ingredient of this unification is the concept of objects wit ...

Assoc Computing Machinery2014

Database Queries in Java

Christopher Ming-Yee Iu

In conventional programming languages like Java, the interface for accessing databases is often inelegant. Typically, an entire separate database query language must be embedded inside a conventional programming language for programmers to access the full ...

EPFL2010

Conception et évaluation d'un prototype de simulation de la morphogenèse urbaine par agents vecteurs multi-échelles

Vitor Silva

The research work of this PhD thesis was carried out in the context of an interdisciplinary project related to the study of urban morphogenesis. A team composed of architects and engineers specialized in GIS technologies have worked together in this projec ...

EPFL2010

Related publications (6)

A Tangible Programming Language for the Educational Robot Thymio

Francesco Mondada, Christian Giang, Alberto Piatti, Andrea Mussati

2019

Verification by Reduction to Functional Programs

Régis William Blanc

EPFL2017

Dependent Object Types

Nada Amin

EPFL2016

Foundations of Path-Dependent Types

Martin Odersky, Tiark Rompf, Nada Amin

A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module systems. An essential ingredient of this unification is the concept of objects wit ...

Assoc Computing Machinery2014

Database Queries in Java

Christopher Ming-Yee Iu

EPFL2010

Conception et évaluation d'un prototype de simulation de la morphogenèse urbaine par agents vecteurs multi-échelles

Vitor Silva

EPFL2010