Title
=====
A taste of Carbon

Author 
=====
Luca Padovani (STI - Universita di Urbino)

Abstract
========
Carbon is a strict, strongly-typed functional programming
language that aims at easing the integration of functional
programs with programs written in other common languages (C
and the like). Its compiler is meant to be a didactical tool
that can be studied in little time and modified with little
effort.  In this (very practical and informal) talk we
review the genesis of the project, we sketch the main
features of the language and of its implementation, and we
see the language at work by means of a simple demonstration.