Optimizing Rakudo Perl 6 Jonathan Worthington OH HAI

Source URL: www.jnthn.net

• Perl 6
• Rakudo Perl 6
• Perl
• Computer program
• VM
• EXE
• Declarative programming
• Executable
• Computing
• Software engineering
• Software

Running  head:  ACES  AND  DECLARATIVE  MEMORY   Investigating the Relationship Between Adverse Experiences and Memory in Children Tori Simenec University of Minnesota

Source URL: www.psych.umn.edu

• Stress
• Anxiety disorders
• Mood disorders
• Posttraumatic stress disorder
• Traumatology
• Declarative memory
• Memory
• Intelligence quotient
• Child abuse
• Mind
• Psychiatry
• Medicine

A research and education initiative at the MIT Sloan School of Management Automated Negotiation from Declarative Contract Descriptions Paper 114

Source URL: ebusiness.mit.edu

• Latin-derived alphabet
• Slovak alphabet
• Collation
• Latin alphabets
• Character encoding

A research and education initiative at the MIT Sloan School of Management A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML

Source URL: ebusiness.mit.edu

Hybrid In-Database Inference for Declarative Information Extraction Daisy Zhe Wang Michael J. Franklin

Source URL: www.cise.ufl.edu

• Probability and statistics
• Probability
• Theoretical computer science
• Probability theory
• Computational statistics
• Markov chain Monte Carlo
• Conditional random field
• Hidden Markov model
• Markov chain
• Markov models
• Statistics
• Graphical models

A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha

Source URL: www.cs.rice.edu

• Functional programming
• Lambda calculus
• Adjoint functors
• Theoretical computer science
• Combinatory logic
• Memoization
• Fixed-point combinator
• Monad
• Combinator library
• Software engineering
• Computing
• Declarative programming

A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel

Source URL: repository.readscheme.org

• Lambda calculus
• Subroutines
• Recursion
• Higher-order functions
• Functional programming
• Fixed-point combinator
• Variadic function
• Combinatory logic
• Fold
• Software engineering
• Computing
• Declarative programming

WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen,

Source URL: pagesperso-systeme.lip6.fr

• Data types
• Coccinelle
• Code refactoring
• Null
• Pointer
• Software bug
• C
• Python
• Application programming interface
• Computing
• Software engineering
• Computer programming

[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop

Source URL: feever.fr

• Type theory
• Constraint programming
• Type systems
• Programming paradigms
• Declarative programming
• Type inference
• Faust
• ALGOL 68
• OCaml
• Software engineering
• Computing
• Computer programming

Pure versus Impure Code Pure Code Rules (Axioms) Pure code consists of functions that conform to these two rules: Takes inputs only from its parameters.

Source URL: www.xfront.com

• Declarative programming
• Functional programming
• Pure function
• Function
• C
• Is functions
• Parameter
• Referential transparency
• Unlambda
• Software engineering
• Subroutines
• Computing