Normalization for the Simply-Typed Lambda-Calculus in Twelf, Electron. Notes Theor. Comput. Sci, vol.199, pp.3-16, 2008. ,
FinPar: A Parallel Financial Benchmark, 2016. ,
, , vol.13, 2016.
Certified Compilation of Financial Contracts, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01883559
Nominal Reasoning Techniques in Coq, Electron. Notes Theor. Comput. Sci, vol.174, pp.69-77, 2007. ,
Strongly Typed Term Representations in Coq, J. Autom. Reasoning, vol.49, pp.141-159, 2012. ,
Scans as Primitive Parallel Operations. Computers, IEEE Transactions, vol.38, pp.1526-1538, 1989. ,
DOI : 10.1109/12.42122
Vector models for data-parallel computing, vol.75, 1990. ,
Accelerating Haskell array codes with multicore GPUs, Proceedings of the Sixth Workshop on Declarative Aspects of Multicore Programming, pp.3-14, 2011. ,
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Robert Harper, Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '90), pp.341-354, 1990. ,
Proof, Language, and Interaction, Chapter A Type-theoretic Interpretation of Standard ML, pp.341-387, 2000. ,
APL on GPUs: A TAIL from the Past, Scribbled in Futhark, Procs. of the 5th Int. Workshop on Functional High-Performance Computing (FHPC '16, pp.38-43, 2016. ,
Size slicing: a hybrid approach to size inference in Futhark, Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, pp.31-42, 2014. ,
Design and GPGPU Performance of Futhark's Redomap Construct, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, pp.17-24, 2016. ,
Bounds checking: An instance of hybrid analysis, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, p.88, 2014. ,
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.556-571, 2017. ,
DOI : 10.1145/3140587.3062354
Higher-Order Functions for a High-Performance Programming Language for GPUs, vol.5, 2018. ,
A Programming Language, 1962. ,
Remark on Algorithm 659: Implementing Sobol's Quasirandom Sequence Generator, ACM Trans. Math. Softw, vol.29, pp.49-57, 2003. ,
Lambda Lifting: Transforming Programs to Recursive Equations, Proceedings of the international conference on Functional Programming Languages and Computer Architecture, pp.190-203, 1985. ,
Strategies for Regular Segmented Reductions on GPU, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, pp.42-52, 2017. ,
Towards a Mechanized Metatheory of Standard ML, Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07), pp.173-184, 2007. ,
Applicative Functors and Fully Transparent Higher-order Modules, Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '95), 1995. ,
DOI : 10.1145/199448.199476
URL : https://hal.archives-ouvertes.fr/hal-01499966
A Modular Module System, Journal of Functional Programming, vol.10, issue.3, pp.269-303, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00073825
Nikola: Embedding Compiled GPU Functions in Haskell, Proceedings of the Third ACM Haskell Symposium on Haskell, pp.67-78, 2010. ,
Optimising Purely Functional GPU Programs, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP '13), 2013. ,
The Definition of Standard ML (Revised), 1997. ,
Everything Old is New Again: Quoted Domain-specific Languages, Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '16), pp.25-36, 2016. ,
DOI : 10.1145/2847538.2847541
URL : http://arxiv.org/pdf/1507.07264
Firepile: Run-time Compilation for GPUs in Scala, Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering, pp.107-116, 2011. ,
, ICFP, Article 97. Publication date, vol.2, 2018.
, Static Interpretation of Higher-Order Modules in Futhark, vol.97, p.31
Composing Contracts: an Adventure in Financial Engineering (functional pearl), Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), pp.280-292, 2000. ,
, C?at?alinC?at?C?at?alin Hri?cu, Vilhelm Sjöberg, and Brent Yorgey. 2016. Software Foundations. Electronic textbook
, Nominal Sets: Names and Symmetry in Computer Science, 2013.
An Expressive Language of Signatures, Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05), pp.27-40, 2005. ,
Using Functor Categories to Generate Intermediate Code, Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '95), pp.25-36, 1995. ,
Mixin' Up the ML Module System, ACM Transactions on Programming Languages and Systems, vol.35, issue.2, pp.1-2, 2013. ,
F-ing modules, Journal of Functional Programming, vol.24, pp.529-607, 2014. ,
DOI : 10.1145/1708016.1708028
Non-dependent Types for Standard ML Modules, Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming (PPDP '99), pp.80-97, 1999. ,
Transparent Modules with Fully Syntatic Signatures, Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), pp.220-232, 1999. ,
Smartest Recompilation, Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93), pp.439-450, 1993. ,
DOI : 10.1145/158511.158702
Generating Performance Portable Code Using Rewrite Rules: From High-level Functional Expressions to High-performance OpenCL Code, SIGPLAN Not, vol.50, pp.205-217, 2015. ,
Lift: A Functional Data-parallel IR for High-performance GPU Code Generation, Proceedings of the 2017 International Symposium on Code Generation and Optimization, pp.74-85, 2017. ,
Obsidian: GPU Kernel Programming in Haskell, 2011. ,
A Separate Compilation Extension to Standard ML, Proceedings of the ACM SIGPLAN Workshop on ML (ML '06), 2006. ,
MetaML and multi-stage programming with explicit annotations, Theoretical Computer Science, vol.248, 2000. ,
Intensional interpretations of functionals of finite type, Journal of symbolic logic, vol.32, pp.198-212, 1967. ,
A New Verified Compiler Backend for CakeML, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp.60-73, 2016. ,
C++ Templates as Partial Evaluation, Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp.13-18, 1999. ,
Views: A Way for Pattern Matching to Cohabit with Data Abstraction, Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, vol.87, 1987. ,
How to Make Ad-hoc Polymorphism Less Ad Hoc, Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89), pp.60-76, 1989. ,
Modular implicits, Proceedings of ML/OCaml Workshop 2014, vol.198, pp.22-63, 2015. ,