Search results
From MaRDI portal
- multi-paradigm languages 2013-08-23 Paper Reduction strategies for declarative programming 2013-07-24 Paper Functional Logic Programming: From Theory to...10 bytes (14 words) - 06:17, 7 October 2023
- for the \(\pi\)-calculus 2006-01-10 Paper Programming Languages and Systems 2005-08-17 Paper Programming Languages and Systems 2005-08-17 Paper Dynamic Scaling...10 bytes (14 words) - 08:08, 25 September 2023
- reversible programming languages to reversible metalanguages 2022-05-17 Paper A categorical foundation for structured reversible flowchart languages 2022-04-25...10 bytes (15 words) - 02:16, 25 September 2023
- of inductively sequential functional logic programs 2016-09-01 Paper Concolic Execution in Functional Programming by Program Instrumentation 2016-02-05...10 bytes (15 words) - 02:15, 25 September 2023
- 2007-11-28 Paper Functional and Logic Programming 2007-09-25 Paper A compositional natural semantics and Hoare logic for low-level languages 2007-04-19 Paper...10 bytes (15 words) - 01:57, 25 September 2023
- declarative programs 2013-08-27 Paper Abstract correction of first-order functional programs 2013-08-27 Paper A debugging scheme for functional logic programs...10 bytes (13 words) - 11:26, 12 December 2023
- Practice of Constraint Programming – CP 2003 2010-03-02 Paper Programming Languages and Systems 2010-01-05 Paper Monadic constraint programming 2009-11-25 Paper...10 bytes (15 words) - 23:40, 9 December 2023
- 2006-10-20 Paper Programming Languages and Systems 2005-09-13 Paper Programming Languages and Systems 2005-08-17 Paper https://portal.mardi4nfdi.de/entity/Q4813409...10 bytes (15 words) - 01:59, 25 September 2023
- in a language with singleton kinds 2015-03-17 Paper Adaptive functional programming 2015-03-17 Paper Space profiling for parallel functional programs 2015-03-16...10 bytes (15 words) - 19:33, 6 October 2023
- delimited continuations 2007-11-22 Paper Programming Languages and Systems 2007-09-28 Paper Programming Languages and Systems 2007-05-02 Paper Lock Free...10 bytes (18 words) - 04:33, 12 December 2023
- An implementation of syntax directed functional programming on nested- stack machines 1992-09-27 Paper Functional description of the contextual analysis...10 bytes (13 words) - 08:57, 8 December 2023
- origami programming 2005-10-11 Paper Mathematics of Program Construction 2005-08-26 Paper Programming Languages and Systems 2005-08-17 Paper FUNCTIONAL PEARL...10 bytes (15 words) - 17:37, 24 September 2023
- structured reversible flowchart languages 2022-04-25 Paper Join Inverse Rig Categories for Reversible Functional Programming, and Beyond 2021-05-20 Paper...10 bytes (15 words) - 19:16, 6 October 2023
- 2008-08-28 Paper FUNCTIONAL PEARL: Enumerating the rationals 2006-06-09 Paper FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming 2006-01-13...10 bytes (17 words) - 14:18, 10 December 2023
- lazy, purely functional languages via aspects 2013-01-08 Paper Type-directed weaving of aspects for polymorphically typed functional languages 2010-08-26...10 bytes (15 words) - 19:35, 9 December 2023
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach 2009-01-15 Paper Implementation of Functional Languages 2005-08-24...10 bytes (14 words) - 12:21, 12 December 2023
- Unified Description of XML Manipulation Languages 2017-07-28 Paper Implication and axiomatization of functional and constant constraints 2016-05-23 Paper...10 bytes (13 words) - 14:47, 10 December 2023
- asynchrony 2023-05-17 Paper Linear Dependent Type Theory for Quantum Programming Languages 2022-10-06 Paper On the combinatorial value of Hex positions 2022-08-08...10 bytes (15 words) - 20:13, 24 September 2023
- of composition programming 1979-01-01 Paper Syntactic structure of programming languages 1979-01-01 Paper Generators of regular languages 1979-01-01 Paper...10 bytes (15 words) - 18:47, 6 October 2023
- Implementation of a Computer Algebra System in a Functional Language 2009-01-27 Paper Parallel functional programming in Eden 2005-11-21 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 04:35, 12 December 2023
