Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Giuseppe Castagna
occurrence-typing
Commits
f13486b0
Commit
f13486b0
authored
Feb 11, 2020
by
Kim Nguyễn
Browse files
Ajout plan année 1/année 2.
parent
9f36598b
Changes
1
Hide whitespace changes
Inline
Side-by-side
these-mickael/main.tex
View file @
f13486b0
...
...
@@ -198,6 +198,25 @@ que la chaire prennent entre autre en charge les missions du doctorant
ou de la doctorante retenu pour cette thèse.
\section
{
Déroulement de la thèse
}
\subsection
{
Première année
}
L'objectif pour la première année est la définition théorique et implémentation
au sein d'un prototype d'un langage alliant typage d'occurrences,
sous-typage sémantique polymorphisme et inférence de
types. Les points d'attention dans ce premier pan de la recherche sont
en particulier la définition formelle du langage, qui devra être
suffisemment modulaire pour être étendue avec d'autres aspects, un
cadre théorique permettant la définition d'heuristiques et leur
expérimentation pour l'inférence de types et un implémentation
raisonnablement efficace (en particulier de l'algorithme de génération
de contraintes pour le typage polymorphe).
\subsection
{
Deuxième année
}
L'objectif, ambitieux, est l'intégration d'un système d'effets au
langage purement fonctionnel défini lors de la première année. La
combinaison entre types ensemblistes, polymorphismes et effets n'a
jusqu'à présent jamais été étudiée.
\end{document}
%%% Local Variables:
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment