Výsledky vyhledávání - "Functional programming and lambda calculus"

An Introduction to Functional Programming Through Lambda Calculus

Autoři: Greg Michaelson

Resource Type: eBook.

Témata: Lambda calculus, Functional programming (Computer science)

Categories: MATHEMATICS / Calculus

An introduction to functional programming through lambda calculus

Autoři: John Launchbury

Zdroj: Science of Computer Programming. 16:198-200

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/016764239190004H

Functional Programming and Lambda Calculus

Autoři: Barendregt, H.P.

Zdroj: Formal Models and Semantics ISBN: 9780444880741
J. van Leeuwen (ed.), Handbook of Theoretical Computer Science; vol. B, pp. 323-363

Témata: 5. Gender equality, 11. Sustainability, 16. Peace & justice, 10. No inequality, 7. Clean energy, 12. Responsible consumption

Popis souboru: application/pdf

Přístupová URL adresa: https://repository.ubn.ru.nl/bitstream/2066/17230/1/13246.pdf
https://repository.ubn.ru.nl/handle/2066/17230
https://www.sciencedirect.com/science/article/pii/B9780444880741500123
https://repository.ubn.ru.nl//bitstream/handle/2066/17230/13246.pdf
http://hdl.handle.net/2066/17230

An introduction to functional programming through Lambda calculus / Greg Michaelson.

Autoři: Michaelson, Greg (1953- ). Autor Addison-Wesley (1942-1999). Wydawca pbl

Přispěvatelé: Michaelson, Greg (1953- ). Autor Addison-Wesley (1942-1999). Wydawca pbl

Zdroj: Bibliografia na stronach 309-311. Indeks.

Témata: Programowanie funkcyjne (informatyka) -- podręczniki akademickie, Rachunek lambda -- podręczniki akademickie

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:4443122&theme=nukat

Normalization by evaluation for modal dependent type theory

Autoři: JASON Z. S. HU JUNYOUNG JANG BRIGITTE PIENTKA

Zdroj: Journal of Functional Programming. 33

Témata: Type theory, Functional programming and lambda calculus, Modal logic (including the logic of norms)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/7775446
https://doi.org/10.1017/s0956796823000060

Formally Proving Size Optimality of Sorting Networks: Formally proving size optimality of sorting networks

Autoři: Luís Cruz-Filipe Kim S. Larsen Peter Schneider-Kamp

Zdroj: Cruz-Filipe, L, Larsen, K S & Schneider-Kamp, P 2017, ' Formally Proving Size Optimality of Sorting Networks ', Journal of Automated Reasoning, vol. 59, no. 4, pp. 425-454 . https://doi.org/10.1007/s10817-017-9405-9

Témata: Program extraction, 2. Zero hunger, interactive theorem proving, Specification and verification (program logics, model checking, etc.), sorting networks, Interactive theorem proving, program extraction, Analysis of algorithms and problem complexity, Sorting networks, 0102 computer and information sciences, 7. Clean energy, 01 natural sciences, large-scale proofs, Large-scale proofs, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), 0101 mathematics, Functional programming and lambda calculus, Theorem proving (deduction, resolution, etc.)

Popis souboru: application/xml

Přístupová URL adresa: https://rd.springer.com/article/10.1007/s10817-017-9405-9
https://core.ac.uk/display/84096648
https://link.springer.com/article/10.1007/s10817-017-9405-9
https://dblp.uni-trier.de/db/journals/jar/jar59.html#Cruz-FilipeLS17
https://doi.org/10.1007/s10817-017-9405-9
https://portal.findresearcher.sdu.dk/da/publications/c499aa7f-a152-4ac2-9781-b62202884c89

Good introduction to functional programming and lambda calculus

Autoři: D Ince

Zdroj: Information and Software Technology. 31:393

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0950584989901626

FUNCTIONAL PEARL Parsing permutation phrases: Parsing permutation phrases

Autoři: S. Doaitse Swierstra Arthur Baars Andres Löh

Zdroj: Journal of Functional Programming. 14:635-646

Témata: parser combinator libraries, 0202 electrical engineering, electronic engineering, information engineering, Wiskunde en Informatica (WIIN), 02 engineering and technology, Functional programming and lambda calculus, 7. Clean energy, 12. Responsible consumption

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2148713
https://doi.org/10.1017/s0956796804005143
http://10.10.70.176:8080/experts/en/publications/ab6c651f-fea0-4341-8ae4-c9fc71379d92
https://research-portal.uu.nl/en/publications/adbe570c-1aaf-45d0-91e4-11a5e442dfe1
https://dl.acm.org/doi/10.1017/S0956796804005143
https://dl.acm.org/citation.cfm?id=1030338
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/functional-pearl-parsing-permutation-phrases/DB7B6AFE506CF84BBDBBF54306F28D38

On the Representation of McCarthy's amb in the π-calculus: On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus

Autoři: A. Carayol D. Hirschkoff SANGIORGI, DAVIDE

Zdroj: Electronic Notes in Theoretical Computer Science. 96:73-89

Témata: Pi-Calculus, Fairness, General Computer Science, Lambda-calculus, π-calculus, Behavioural equivalence, \(\pi\)-calculus, Semantics | Computer programming languages | Differentiation (calculus), 0102 computer and information sciences, 02 engineering and technology, Behavioural equivalence, 16. Peace & justice, 01 natural sciences, Theoretical Computer Science, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Lambda-calculus, 0101 mathematics, McCarhty's amb, Functional programming and lambda calculus, Lambda-Calculus, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/entcs/entcs96.html#CarayolHS04
https://core.ac.uk/display/82507301
https://www.sciencedirect.com/science/article/pii/S1571066104050327
https://www.openaccessrepository.it/record/25063
https://hdl.handle.net/11585/26388

Monad-Independent Dynamic Logic in HasCasl: Monad-independent dynamic logic in HasCasl

Autoři: Till Mossakowski Lutz Schröder

Zdroj: Lecture Notes in Computer Science ISBN: 9783540205371

Témata: 2. Zero hunger, Logic in computer science, Specification and verification (program logics, model checking, etc.), 4. Education, functional programming, monads, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, dynamic logic, Casl, 0202 electrical engineering, electronic engineering, information engineering, Functional programming and lambda calculus, algebraic specifications, Abstract data types, algebraic specification

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2112324
https://doi.org/10.1093/logcom/14.4.571
https://dblp.uni-trier.de/db/conf/wadt/wadt2002.html#SchroderM02
http://core.ac.uk/display/24595177
https://link.springer.com/chapter/10.1007/978-3-540-40020-2_25
https://dblp.uni-trier.de/db/journals/logcom/logcom14.html#SchroderM04
http://academic.oup.com/logcom/article-abstract/14/4/571/933561
https://rd.springer.com/chapter/10.1007/978-3-540-40020-2_25
https://link.springer.com/chapter/10.1007/978-3-540-40020-2_25
https://academic.oup.com/logcom/article/14/4/571/933561

An Introduction to Functional Programming through Lambda Calculus

Autoři: Greg Michaelson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Greg Michaelson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://disi.unal.edu.co/fortalecimiento/sistemasycomputacion/docs/ProgComp/[Michaelson] - An Introduction to Functional Programming through Lambda Calculus .pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.6342

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.6342
http://disi.unal.edu.co/fortalecimiento/sistemasycomputacion/docs/ProgComp/[Michaelson] - An Introduction to Functional Programming through Lambda Calculus .pdf

Using circular programs to deforest in accumulating parameters

Autoři: Voigtländer, Janis

Zdroj: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation. :126-137

Témata: program transformation, tree transducers, accumulating arguments, intermediate results, circular programs, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, unfold/fold, Informatik, tupling, 0202 electrical engineering, electronic engineering, information engineering, Functional programming and lambda calculus, (short cut) deforestation

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2145979
https://doi.org/10.1023/b:lisp.0000029450.36668.cb
https://dblp.uni-trier.de/db/conf/pepm/asiapepm2002.html#Voigtlander02
https://dl.acm.org/doi/10.1145/568173.568187
https://link.springer.com/article/10.1023/B%3ALISP.0000029450.36668.cb
https://core.ac.uk/display/21551290
https://link.springer.com/article/10.1023/B:LISP.0000029450.36668.cb
https://doi.org/10.1023/B:LISP.0000029450.36668.cb
https://dblp.uni-trier.de/db/journals/lisp/lisp17.html#Voigtlander04
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=0036957022
https://doi.org/10.1145/568173.568187
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=3042841950
https://doi.org/10.1023/B:LISP.0000029450.36668.cb

A new connective in natural deduction, and its application to quantum computing

Autoři: Alejandro Díaz-Caro Gilles Dowek Dowek, Gilles

Přispěvatelé: Alejandro Díaz-Caro Gilles Dowek Dowek, Gilles

Zdroj: Lecture Notes in Computer Science ISBN: 9783030853143

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], lambda calculus, 0102 computer and information sciences, [INFO] Computer Science [cs], 01 natural sciences, quantum computing, QUANTUM COMPUTING, Proof-reduction, type theory, Quantum computation, Logical foundations of quantum mechanics, quantum logic (quantum-theoretic aspects), 0101 mathematics, Functional programming and lambda calculus, Lambda calculus, proof-reduction, LAMBDA CALCULUS, Quantum computing 2020 MSC: 03F05, Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.), Type theory, PROOF-REDUCTION, Quantum algorithms and complexity in the theory of computing, Quantum measurement theory, state operations, state preparations, Logic in Computer Science (cs.LO), TYPE THEORY, Holomorphically convex complex spaces, reduction theory

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/2012.08994
http://arxiv.org/abs/2012.08994
https://arxiv.org/pdf/2012.08994.pdf
https://ui.adsabs.harvard.edu/abs/2020arXiv201208994D/abstract
https://arxiv.org/abs/2012.08994
https://link.springer.com/chapter/10.1007/978-3-030-85315-0_11
https://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-08994
http://hdl.handle.net/11336/218752

A first-order one-pass CPS transformation

Autoři: Danvy, Olivier Nielsen, Lasse Reichstein

Zdroj: Lecture Notes in Computer Science ISBN: 9783540433668
Danvy, O & Nielsen, L R 2003, 'A First-Order One-Pass CPS Transformation', Theoretical Computer Science, vol. 308, no. 1, pp. 239-257.
Danvy, O & Nielsen, L R 2001, 'A First-Order One-Pass CPS Transformation', B R I C S Report Series, vol. RS-01-49.

Témata: Continuation-passing style, λ-calculus, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, administrative reductions, \(\lambda\)-calculus, administrative reduction, Theoretical Computer Science, continuation-passing style(CPS), continuations, Continuations, Continuation-passing style (CPS), CPS transformation, Administrative reductions, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, continuation-passing style (CPS), Functional programming and lambda calculus, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://tidsskrift.dk/brics/article/download/21709/19145
https://link.springer.com/content/pdf/10.1007%2F3-540-45931-6_8.pdf
https://zbmath.org/2110980
https://doi.org/10.1016/s0304-3975(02)00733-8
https://tidsskrift.dk/brics/article/download/21709/19145
https://tidsskrift.dk/brics/article/view/21709
https://cs.au.dk/~danvy/DSc/11_danvy-nielsen_tcs-2003.pdf
https://link.springer.com/chapter/10.1007/3-540-45931-6_8
https://rd.springer.com/chapter/10.1007%2F3-540-45931-6_8
https://dblp.uni-trier.de/db/conf/fossacs/fossacs2002.html#DanvyN02
https://link.springer.com/content/pdf/10.1007%2F3-540-45931-6_8.pdf
https://pure.au.dk/portal/en/publications/391192a0-3524-11dc-bee9-02004c4f4f50
https://pure.au.dk/portal/en/publications/5ee7ac50-98eb-11dc-bee9-02004c4f4f50

Non-determinism analyses in a parallel-functional language

Autoři: Clara Segura Ricardo Peña

Zdroj: Lecture Notes in Computer Science ISBN: 9783540419198

Témata: merge, Eden, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Functional programming and lambda calculus, denotational semantics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2152489
https://doi.org/10.1017/s0956796804005295
http://www.journals.cambridge.org/abstract_S0956796804005295
https://dblp.uni-trier.de/db/journals/jfp/jfp15.html#PenaS05
https://rd.springer.com/chapter/10.1007/3-540-45361-X_1
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/nondeterminism-analyses-in-a-parallelfunctional-language/8D69E37F6547488134C6DE1E724CABB6
https://link.springer.com/chapter/10.1007/3-540-45361-X_1
https://dblp.uni-trier.de/db/conf/ifl/ifl2000.html#PenaS00
https://link.springer.com/10.1007/3-540-45361-X_1
https://link.springer.com/chapter/10.1007/3-540-45361-X_1

Reductions, intersection types, and explicit substitutions

Autoři: Pierre Lescanne Daniel J. Dougherty

Zdroj: Lecture Notes in Computer Science ISBN: 9783540419600

Témata: strong normalisation, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, typability, 0102 computer and information sciences, 02 engineering and technology, Functional programming and lambda calculus, 01 natural sciences, \(\lambda\)-calculus, explicit substitutions

Popis souboru: application/xml

Přístupová URL adresa: http://www.doc.ic.ac.uk/~svb/Research/Papers/LLDDvB.pdf
https://rd.springer.com/chapter/10.1007/3-540-45413-6_13
https://doi.org/10.1007/3-540-45413-6_13
https://core.ac.uk/display/22280589
https://link.springer.com/chapter/10.1007%2F3-540-45413-6_13
https://dblp.uni-trier.de/db/conf/tlca/tlca2001.html#DoughertyL01
https://link.springer.com/content/pdf/10.1007%2F3-540-45413-6_13.pdf

(Optimal) duplication is not elementary recursive

Autoři: ASPERTI, ANDREA P. Coppola MARTINI, SIMONE

Zdroj: Information and Computation. 193:21-56

Témata: elementary affine logic, Proof-theoretic aspects of linear logic and other substructural logics, Complexity, 0102 computer and information sciences, 01 natural sciences, Optimal reduction, Theoretical Computer Science, Computer Science Applications, Graph rewriting, Elementary affine logic, Lamping's algorithm, Computational Theory and Mathematics, Combinatory logic and lambda calculus, SHARING, LAMBDA CALCULUS, FUNCTIONAL PROGRAMMING, 0101 mathematics, Functional programming and lambda calculus, Information Systems

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2105974
https://doi.org/10.1016/j.ic.2004.05.001
https://dl.acm.org/doi/10.1145/325694.325707
https://www.sciencedirect.com/science/article/pii/S0890540104000884
https://dblp.uni-trier.de/db/conf/popl/popl2000.html#AspertiCM00
https://cris.unibo.it/handle/11585/14100
https://core.ac.uk/display/23657302
https://www.sciencedirect.com/science/article/abs/pii/S0890540104000884
https://hdl.handle.net/11390/849373
https://hdl.handle.net/11585/14100
https://doi.org/10.1016/j.ic.2004.05.001

Compiling embedded languages

Autoři: Sigbjorn Finne Conal Elliott Oege de Moor

Zdroj: Lecture Notes in Computer Science ISBN: 9783540410546

Témata: Domain-Specific Embedded Languages, Functional languages, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Functional programming and lambda calculus, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://research.microsoft.com/apps/pubs/default.aspx?id=68633
https://doi.org/10.1007/3-540-45350-4_5
https://www.microsoft.com/en-us/research/publication/compiling-embedded-languages/
https://dblp.uni-trier.de/db/conf/saig/saig2000.html#ElliottFM00
http://conal.net/papers/saig00/compile-dsel.pdf
https://link.springer.com/chapter/10.1007/3-540-45350-4_5

Linear-Time Self-Interpretation of the Pure Lambda Calculus: Linear-time self-interpretation of the pure lambda calculus

Autoři: Torben Æ. Mogensen

Zdroj: Lecture Notes in Computer Science ISBN: 9783540671022

Témata: linear-time self-interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Functional programming and lambda calculus, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1574439
https://doi.org/10.1023/a:1010058213619
https://rd.springer.com/chapter/10.1007%2F3-540-46562-6_11
https://dblp.uni-trier.de/db/conf/ershov/ershov1999.html#Mogensen99
https://link.springer.com/chapter/10.1007/3-540-46562-6_11

Region Analysis and a π-Calculus with Groups: Region analysis and a \(\pi\)-calculus with groups

Autoři: Silvano Dal Zilio Andrew D. Gordon Dissemin, Projet

Přispěvatelé: Silvano Dal Zilio Andrew D. Gordon Dissemin, Projet

Zdroj: Lecture Notes in Computer Science ISBN: 9783540679011

Témata: typed \(\pi\)-calculus, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Functional programming and lambda calculus, dissemin, 01 natural sciences, 7. Clean energy, 12. Responsible consumption

Popis souboru: application/pdf; application/xml

Přístupová URL adresa: https://zenodo.org/record/32926/files/article.pdf
https://zenodo.org/record/345831/files/article.pdf
https://hal.science/hal-01483576v1
https://hal.science/hal-01483576v1/document
https://doi.org/10.1007/3-540-44612-5_1
https://zbmath.org/1775026
https://doi.org/10.1017/s0956796801004270
https://www.microsoft.com/en-us/research/wp-content/uploads/2000/01/regions-mfcs.pdf
https://sandbox.zenodo.org/record/32926
https://www.microsoft.com/en-us/research/publication/region-analysis-and-a-pi-calculus-with-groups-2000/
http://journals.cambridge.org/abstract_S0956796801004270
https://research.microsoft.com/apps/pubs/default.aspx?id=68641
https://link.springer.com/chapter/10.1007%2F3-540-44612-5_1