Statistics for Top 23 Results
Filter:
Domain Registration Date Filter
2
[PDF] Supplementary Notes on Recursive Types
https://www.cs.cmu.edu/~fp/courses/15312-f02/handouts/13-rectypes.pdf
3
Use Lambda recursive loop detection to prevent infinite loops
https://docs.aws.amazon.com/lambda/latest/dg/invocation-recursion.html
4
"Unrolling" a recursive function? - Stack Overflow
https://stackoverflow.com/questions/6300695/unrolling-a-recursive-function
5
[PDF] Exceptions Are Strictly More Powerful Than Call/CC. - DTIC
https://apps.dtic.mil/sti/tr/pdf/ADA307740.pdf
6
Monotone recursive types and recursive data representations in ...
https://ui.adsabs.harvard.edu/abs/2020arXiv200102828J/abstract
7
[PDF] Recursion Unrolling for Divide and Conquer Programs
https://people.csail.mit.edu/rinard/paper/lcpc00.pdf
8
[PDF] Monotone Recursive Types and Recursive Data Representations in ...
https://cwjnkins.github.io/assets/JS21_Recursive-Types-and-Data-Representations-in-Cedille.pdf
9
AWS Lambda introduces recursive loop detection APIs
https://aws.amazon.com/blogs/compute/aws-lambda-introduces-recursive-loop-detection-apis/
10
[PDF] Mutually Iso-recursive Subtyping (Expanded) - People at MPI-SWS
https://people.mpi-sws.org/~rossberg/papers/Rossberg%20-%20Mutually%20Iso-recursive%20Subtyping%20(Expanded).pdf
11
Equality on Recursive λ-Terms - GitHub Gist
https://gist.github.com/VictorTaelin/1af22e2c87f176da0e5ff8cd3430b04f
12
[PDF] T-Rex: Termination of Recursive Functions Using Lexicographic ...
https://people.eng.unimelb.edu.au/rizkallahc/publications/termination-linear-lexicographic.pdf
13
Make lambdas proper closures - Ideas - Discussions on Python.org
https://discuss.python.org/t/make-lambdas-proper-closures/10553
15
Defining recursive lambda functions inside of a LET ... - Reddit
https://www.reddit.com/r/excel/comments/qwyuzs/defining_recursive_lambda_functions_inside_of_a/
16
Monotone recursive types and recursive data representations in ...
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/49B54AE2D6EAEC542726B65DA7CFC140/S0960129521000402a.pdf/monotone-recursive-types-and-recursive-data-representations-in-cedille.pdf
17
[PDF] Automatically Splitting a Two-Stage Lambda Calculus
https://graphics.stanford.edu/~kayvonf/papers/feltman16_splitting.pdf
19
[PDF] Toward a Practical Type Theory for Recursive Modules
https://people.mpi-sws.org/~dreyer/papers/rmtr/rmtr.pdf
20
Can you have multiple recursive functions in a program? - Quora
https://www.quora.com/Can-you-have-multiple-recursive-functions-in-a-program
21
Statically Unrolling Recursion to Improve Opportunities for Parallelism
https://www.researchgate.net/publication/266870209_Statically_Unrolling_Recursion_to_Improve_Opportunities_for_Parallelism
22
Re-Enable lambda recursive invocation detection - AWS re:Post
https://repost.aws/questions/QUUqP8z1N9SvKEakVetSC2eQ/re-enable-lambda-recursive-invocation-detection
23
AWS Recursive Lambda function Invocation example in ... - Serverless
https://www.serverless.com/examples/aws-node-recursive-function