S
Simon Forest
Researcher at French Institute for Research in Computer Science and Automation
Publications - 7
Citations - 289
Simon Forest is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Computer science & Monad (functional programming). The author has an hindex of 1, co-authored 1 publications receiving 230 citations.
Papers
More filters
Proceedings ArticleDOI
Dependent types and multi-monadic effects in F*
Nikhil Swamy,Cătălin Hriţcu,Chantal Keller,Aseem Rastogi,Antoine Delignat-Lavaud,Simon Forest,Karthikeyan Bhargavan,Cédric Fournet,Pierre-Yves Strub,Markulf Kohlweiss,Jean Karim Zinzindohoue,Santiago Zanella-Béguelin +11 more
TL;DR: A new, completely redesigned, version of F*, a language that works both as a proof assistant as well as a general-purpose, verification-oriented, effectful programming language that confirms F*'s pay-as-you-go cost model.
Journal ArticleDOI
A Dynamic Neural Field Model of Multimodal Merging: Application to the Ventriloquist Effect
TL;DR: A novel computational model based on dynamic neural fields able to simulate decision dynamics and generate localization decisions, trial by trial, adapting to varying degrees of discrepancy between audio and visual stimulations is introduced.
Free precategories as presheaf categories
Simon Forest,Samuel Mimram +1 more
TL;DR: In this paper , it was shown that the notion of polygraphs for precategories is a presheaf category, and that precategories and their associated precategories can be expressed by generators and relations.
An extension of Batanin's approach to globular algebras
TL;DR: In this paper , the notion of cellular extension and its associated free construction is used to obtain another definition of polygraphs and the adjunction between globular algebraic algebras and polygrapes.
Journal ArticleDOI
The Cartesian Closed Bicategory of Thin Spans of Groupoids
Pierre Clairambault,Simon Forest +1 more
TL;DR: The thin span of groupoids model as mentioned in this paper is a generalization of thin concurrent games, where the interpretation of terms carries no symmetries but semantic individuals satisfy a subtle invariant defined via biorthogonality, which guarantees their invariance under symmetry.