Login / Signup
Samuel Gélineau
ORCID
Publication Activity (10 Years)
Years Active: 2006-2022
Publications (10 Years): 2
Top Topics
Feature Vectors
Preprocessing
Context Dependent
Multiple Types
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Junyoung Jang
,
Samuel Gélineau
,
Stefan Monnier
,
Brigitte Pientka
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself.
Proc. ACM Program. Lang.
6 (POPL) (2022)
Junyoung Jang
,
Samuel Gélineau
,
Stefan Monnier
,
Brigitte Pientka
Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version).
CoRR
(2021)
Jörg Kienzle
,
Ekwa Duala-Ekoko
,
Samuel Gélineau
AspectOptima: A Case Study on Aspect Dependencies and Interactions.
LNCS Trans. Aspect Oriented Softw. Dev.
5 (2009)
Jörg Kienzle
,
Samuel Gélineau
AO challenge - implementing the ACID properties for transactional objects.
AOSD
(2006)