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
...
inria-00166125v2  Reports
Louis MandelLuc Maranget. Programming in JoCaml --- Extended Version
[Research Report] RR-6261, INRIA. 2007
...
hal-01350936v1  Conference papers
Manuel SerranoVincent Prunet. A Glimpse of Hopjs
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩
...
hal-01499915v1  Journal articles
Zaynah DargayeXavier Leroy. A verified framework for higher-order uncurrying optimizations
Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (3), ⟨10.1007/s10990-010-9050-z⟩
...
hal-02938020v1  Journal articles
Gabriel RadanneHannes SaffrichPeter Thiemann. Kindly bent to free us
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩
...
hal-01140459v1  Conference papers
Paul van der Walt. Constraining application behaviour by generating languages
8th European Lisp Symposium, Apr 2015, London, United Kingdom
...
hal-01194533v1  Journal articles
Thomas Genet. Termination criteria for tree automata completion
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, 85, Issue 1, part 1, pp.3-33. ⟨10.1016/j.jlamp.2015.05.003⟩
...
hal-01719777v1  Journal articles
Franco BlanchiniDaniele CasagrandeGiulia GiordanoStefano MianiSorin Olaru et al.  Active Fault Isolation: A Duality-Based Approach via Convex Programming
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2017, 55 (3), pp.1619 - 1640. ⟨10.1137/15M1046046⟩
...
tel-01490431v1  Theses
Adrien Guatto. A synchronous functional language with integer clocks
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE020⟩
...
hal-01890044v1  Conference papers
Yann Régis-GianasNicolas JeannerodRalf Treinen. Morbig: A Static Parser for POSIX Shell
SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
...
hal-01929178v1  Journal articles
James KoppelGabriel SchererArmando Solar-Lezama. Capturing the Future by Replaying the Past Functional Pearl
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 29. ⟨10.1145/3236771⟩
...
hal-01675358v1  Conference papers
Beniamino AccattoliBruno Barras. Environments and the Complexity of Abstract Machines.
The 19th International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131855⟩
...
tel-01262065v2  Theses
Atze van der Ploeg,. Efficient abstractions for visualization and interaction
Computer science. Universiteit van Amsterdam, 2015. English
...
inria-00090434v2  Journal articles
Joachim NiehrenJan SchwinghammerGert Smolka. A Concurrent Lambda Calculus with Futures
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
...
hal-01148347v1  Journal articles
Alberto CiaffaglioneLuigi LiquoriMarino Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning, Springer Verlag, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩
...
tel-01890983v1  Theses
Guillaume Claret. Program in Coq
Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2018. English