algebriquesaujourdauxcompilationconciliercontinuationscontrolecorrespondancecurrydatademontrerdonneeseffecteffetsgotohandlershowardhuilangageslanguagelogicielslogiquesmachinemecaniseesparallelismepersistancepersistantesprogrammationprogrammerprogrammesraisonnerolesecuritesemantiquesseminairestructurestructurestypes