Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: A Reflection on Call-by-Value
call - by - name , call - by - value and the lambda - calculus .
Reasoning about programs in continuation-passing style
Lazy evaluation and delimited control
Computational lambda-calculus and monads
A gentle introduction to mutual recursion
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Automatic visualization of recursion trees: a case study on generic programming
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
Lambda calculus with types
The essence of functional programming
Lambda-calculus models of programming languages.
Definitional interpreters for higher-order programming languages
A Typed Lambda Calculus of Objects
Systematic search for lambda expressions
Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search
Why functional programming matters
Conception, evolution, and application of functional programming languages
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
Practical partial evaluation for high-performance dynamic language runtimes
Lambda-calculus models of programming languages.
Adaptation to natural flow regimes
Factors Associated with Colostrum Avoidance Among Mothers of Children Aged less than 24 Months in Raya Kobo district, North-eastern Ethiopia: Community-based Cross-sectional Study
A snapshot on crowdfunding
Actor and Observer: Joint Modeling of First and Third-Person Videos