Skip to Main content Skip to Navigation


...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
...
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
hal-01672706v1  Journal articles
Jonathan ProtzenkoJean‐karim ZinzindohouéAseem RastogiTahina RamananandroPeng Wang et al.  Verified Low‐Level Programming Embedded in F*
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.17:1--17:29. ⟨10.1145/3110261⟩
...
hal-00772721v1  Journal articles
Nicolas PouillardFrançois Pottier. A unified treatment of syntax with binders
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
hal-01100346v1  Journal articles
Yan ChenJoshua DunfieldMatthew A. HammerUmut A. Acar. Implicit self-adjusting computation for purely functional programs
Journal of Functional Programming, Cambridge University Press (CUP), 2014, 24 (1), pp.56-112
...
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-00524758v1  Journal articles
Julien ForestDelia Kesner. Expression Reduction Systems with Patterns
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
...
hal-00877589v1  Journal articles
François Pottier. Syntactic soundness proof of a type-and-capability system with hidden state
Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (1), pp.38-144. ⟨10.1017/S0956796812000366⟩
...
hal-02167870v2  Reports
Jens Gustedt. Revise spelling of keywords
[Research Report] N2457, ISO JTC1/SC22/WG14. 2019
...
hal-02167916v2  Reports
Jens Gustedt. Make false and true first-class language features
[Research Report] N2458, ISO JTC1/SC22/WG14. 2019
...
hal-02378605v1  Reports
Jens Gustedt. Add an interface to query resolution of time bases
[Research Report] N2459, ISO JTC1/SC22/WG14. 2019
...
hal-02378645v1  Reports
Jens Gustedt. Add new optional time bases v3 Proposal for C2x
[Research Report] N2460, ISO JCT1/SC22/WG14. 2019
...
hal-02378784v1  Reports
Larry JonesJens Gustedt. ISO/IEC 9899 editor report November 2019
[Research Report] N2456, ISO JCT1/SC22/WG14. 2019
...
hal-02167850v2  Reports
Jens Gustedt. Synchronization at thread and execution termination
[Research Report] N2461, ISO JTC1/SC22/WG14. 2019
...
hal-01093940v1  Conference papers
Gabriel SchererDidier Rémy. GADT meet subtyping
ACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark
...
hal-01094214v1  Conference papers
Valerio CosentinoMassimo TisiJavier Luis Cánovas Izquierdo. A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs
41st International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic. pp.423-435
...
hal-00670378v1  Conference papers
Akram AjouliJulien CohenRémi Douence. Program Transformation based Views for Modular Maintenance
Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
...
hal-01092204v1  Conference papers
Jonathan ProtzenkoFrançois Pottier. Programming with permissions: the Mezzo language
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
...
hal-01093239v1  Conference papers
Julien CretinDidier Rémy. System F with Coercion Constraints
CSL-LICS 2014: Joint Meeting of the Annual Conference on Computer Science Logic and the Annual Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. pp.34, ⟨10.1145/2603088.2603128⟩