×

Journal of Functional Programming

Short Title: J. Funct. Program.
Publisher: Cambridge University Press, Cambridge
ISSN: 0956-7968; 1469-7653/e
Online: https://www.cambridge.org/core/journals/journal-of-functional-programming/all-issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 642 Publications (since 1991)
References Indexed: 347 Publications with 10,797 References.
all top 5

Latest Issues

34 (2024)
33 (2023)
32 (2022)
31 (2021)
30 (2020)
29 (2019)
28 (2018)
27 (2017)
26 (2016)
25 (2015)
24, No. 6 (2014)
24, No. 5 (2014)
24, No. 4 (2014)
24, No. 2-3 (2014)
24, No. 1 (2014)
23, No. 6 (2013)
23, No. 5 (2013)
23, No. 4 (2013)
23, No. 3 (2013)
23, No. 2 (2013)
23, No. 1 (2013)
22, No. 6 (2012)
22, No. 4-5 (2012)
22, No. 3 (2012)
22, No. 2 (2012)
22, No. 1 (2012)
21, No. 6 (2011)
21, No. 4-5 (2011)
21, No. 3 (2011)
21, No. 2 (2011)
21, No. 1 (2011)
20, No. 5-6 (2010)
20, No. 3-4 (2010)
20, No. 2 (2010)
20, No. 1 (2010)
19, No. 6 (2009)
19, No. 5 (2009)
19, No. 3-4 (2009)
19, No. 2 (2009)
19, No. 1 (2009)
19, Suppl. (2009)
18, No. 5-6 (2008)
18, No. 4 (2008)
18, No. 3 (2008)
18, No. 2 (2008)
18, No. 1 (2008)
17, No. 6 (2007)
17, No. 4-5 (2007)
17, No. 3 (2007)
17, No. 2 (2007)
17, No. 1 (2007)
16, No. 6 (2006)
16, No. 4-5 (2006)
16, No. 3 (2006)
16, No. 2 (2006)
16, No. 1 (2006)
15, No. 6 (2005)
15, No. 5 (2005)
15, No. 4 (2005)
15, No. 3 (2005)
15, No. 2 (2005)
15, No. 1 (2005)
14, No. 6 (2004)
14, No. 5 (2004)
14, No. 3 (2004)
14, No. 2 (2004)
14, No. 1 (2004)
13, No. 6 (2003)
13, No. 5 (2003)
13, No. 4 (2003)
13, No. 3 (2003)
13, No. 2 (2003)
13, No. 1 (2003)
12, No. 6 (2002)
12, No. 4-5 (2002)
12, No. 3 (2002)
12, No. 2 (2002)
12, No. 1 (2002)
11, No. 6 (2001)
11, No. 5 (2001)
11, No. 4 (2001)
11, No. 3 (2001)
11, No. 2 (2001)
11, No. 1 (2001)
10, No. 6 (2000)
10, No. 5 (2000)
10, No. 4 (2000)
10, No. 3 (2000)
10, No. 2 (2000)
10, No. 1 (2000)
9, No. 6 (1999)
9, No. 5 (1999)
9, No. 4 (1999)
9, No. 3 (1999)
9, No. 2 (1999)
9, No. 1 (1999)
8, No. 6 (1998)
8, No. 5 (1998)
8, No. 4 (1998)
8, No. 3 (1998)
...and 27 more Volumes
all top 5

Authors

19 Hinze, Ralf
18 Bird, Richard S.
14 Hutton, Graham
13 Peyton Jones, Simon L.
11 Danvy, Olivier
10 Weirich, Stephanie
9 Dreyer, Derek R.
9 Erwig, Martin
9 Pierce, Benjamin C.
8 Abel, Andreas M.
8 Findler, Robert Bruce
8 McBride, Conor Thomas
7 Gibbons, Jeremy
7 Harper, Robert
7 Jansson, Patrik
7 Morrisett, Greg
7 Mu, Shin-Cheng
7 Swierstra, Wouter
7 Wadler, Philip Lee
6 Barendregt, Hendrik Pieter
6 Sabry, Amr
5 Acar, Umut A.
5 Ariola, Zena M.
5 Barthe, Gilles
5 Claessen, Koen
5 Crary, Karl
5 Curtis, Sharon A.
5 Devriese, Dominique
5 Felleisen, Matthias
5 Fluet, Matthew T.
5 Gordon, Andrew D.
5 Kiselyov, Oleg
5 Might, Matthew
5 Okasaki, Chris
5 Oliveira, Bruno C.d. S.
5 Palsberg, Jens
5 Runciman, Colin
5 Schrijvers, Tom
5 Thiemann, Peter J.
5 VanHorn, David A.
5 Vytiniotis, Dimitrios
4 Atkey, Robert
4 Bierman, Gavin M.
4 Birkedal, Lars
4 Breitner, Joachim
4 Burton, F. Warren
4 Cardelli, Luca
4 de Moor, Oege
4 Flatt, Matthew
4 Hu, Zhenjiang
4 Kamareddine, Fairouz D.
4 Kennedy, Andrew J.
4 Licata, Daniel R.
4 Lindley, Sam
4 Marlow, Simon
4 Nanevski, Aleksandar
4 Nipkow, Tobias
4 Owens, Scott
4 Paterson, Ross A.
4 Pientka, Brigitte
4 Sperber, Michael
4 Sulzmann, Martin
4 Wakeling, David
3 Abadi, Martín
3 Achten, Peter
3 Altenkirch, Thorsten
3 Bahr, Patrick
3 Benton, Nick
3 Bernardy, Jean-Philippe
3 Botta, Nicola
3 Cockx, Jesper
3 Coquand, Thierry
3 Curien, Pierre-Louis
3 Dagand, Pierre-Evariste
3 Downen, Paul
3 Ghani, Neil
3 Henglein, Fritz
3 Herbelin, Hugo
3 Huet, Gerard P.
3 Jaskelioff, Mauro
3 Jay, C. Barry
3 Jeuring, Johan
3 Johann, Patricia
3 Jones, Mark P.
3 Jones, Neil D.
3 Leroy, Xavier
3 Lescanne, Pierre
3 Mairson, Harry George
3 Maranget, Luc
3 Moggi, Eugenio
3 Morihata, Akimasa
3 New, Max S.
3 Pfenning, Frank
3 Piessens, Frank
3 Pottier, François
3 Pretnar, Matija
3 Rainey, Mike
3 Reppy, John H.
3 Rossberg, Andreas
3 Sergey, Ilya
...and 724 more Authors

Publications by Year

Citations contained in zbMATH Open

466 Publications have been cited 3,766 times in 2,411 Documents Cited by Year
Special issue: Haskell 98 language and librairies. The revised report. Zbl 1067.68041
137
2003
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
136
1991
Applicative programming with effects. Zbl 1128.68020
McBride, Conor; Paterson, Ross
69
2008
The Zipper. Zbl 0893.68014
Huet, Gérard
51
1997
The view from the left. Zbl 1069.68539
McBride, Conor; McKinna, James
48
2004
Propositions as sessions. Zbl 1307.68025
Wadler, Philip
48
2014
Linear type theory for asynchronous session types. Zbl 1185.68194
Gay, Simon J.; Vasconcelos, Vasco T.
47
2010
Deriving a lazy abstract machine. Zbl 0881.68049
Sestoft, Peter
42
1997
de Bruijn notation as a nested datatype. Zbl 0926.68025
Bird, Richard S.; Paterson, Ross
37
1999
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
36
1991
Equivalence in functional languages with effects. Zbl 0941.68540
Mason, Ian; Talcott, Carolyn
35
1991
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
35
1997
Iris from the ground up: a modular foundation for higher-order concurrent separation logic. Zbl 1476.68062
Jung, Ralf; Krebbers, Robbert; Jourdan, Jacques-Henri; Bizjak, Aleš; Birkedal, Lars; Dreyer, Derek
35
2018
The call-by-need lambda calculus. Zbl 0887.68007
Ariola, Zena M.; Felleisen, Matthias
33
1997
Classical logic, continuation semantics and abstract machines. Zbl 0928.68074
Streicher, Th.; Reus, B.
32
1998
Setoids in type theory. Zbl 1060.03030
Barthe, Gilles; Capretta, Venanzio; Pons, Olivier
32
2003
Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059
Brady, Edwin
31
2013
Efficient self-interpretation in lambda calculus. Zbl 0817.68051
Mogensen, Torben Æ.
30
1992
Hoare type theory, polymorphism and separation. Zbl 1155.68354
Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars
30
2008
\(\lambda\nu\), a calculus of explicit substitutions which preserves strong normalisation. Zbl 0873.68108
Benaissa, Zine-El-Abidine; Briaud, Daniel; Lescanne, Pierre; Rouyer-Degli, Jocelyne
29
1996
Data types à la carte. Zbl 1153.68015
Swierstra, Wouter
29
2008
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
28
1992
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
28
1998
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. Zbl 1159.68389
Peyton Jones, Simon L.
27
1992
The expressive power of higher-order types or, life without CONS. Zbl 0988.68046
Jones, Neil D.
26
2001
Parameterised notions of computation. Zbl 1191.68156
Atkey, Robert
25
2009
Indexed containers. Zbl 1420.68032
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter
25
2015
Polymorphic type, region and effect inference. Zbl 0817.68099
Talpin, Jean-Pierre; Jouvelot, Pierre
24
1992
Computational types from a logical perspective. Zbl 0920.03023
Benton, P. N.; Bierman, G. M.; de Paiva, V. C. V.
24
1998
Practical type inference for arbitrary-rank types. Zbl 1107.68030
Jones, Simon Peyton; Vytiniotis, Dimitrios; Weirich, Stephanie; Shields, Mark
24
2007
Ott: effective tool support for the working semanticist. Zbl 1185.68201
Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
24
2010
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158
Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh
24
2009
Regular-expression derivatives re-examined. Zbl 1163.68317
Owens, Scott; Reppy, John; Turon, Aaron
24
2009
Type inference with simple subtypes. Zbl 0941.68541
Mitchell, John C.
23
1991
A positive supercompiler. Zbl 0870.68040
Sørensen, M. H.; Glück, R.; Jones, N. D.
23
1996
Simple type-theoretic foundations for object-oriented programming. Zbl 0817.68052
Pierce, Benjamin C.; Turner, David N.
23
1994
Monadic parsing in Haskell. Zbl 0917.68039
Hutton, Graham; Meijer, Erik
23
1998
The virtues of eta-expansion. Zbl 0833.68072
Jay, C. Barry; Ghani, Neil
23
1995
Algorithms with polynomial interpretation termination proof. Zbl 0987.68042
Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H.
23
2001
On bunched typing. Zbl 1056.03013
O’Hearn, Peter
23
2003
Errata to: “Stack-based typed assembly language”. Zbl 1110.68361
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
23
2003
Proofs for free. Parametricity for dependent types. Zbl 1271.68076
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
22
2012
Higher-order narrowing with definitional trees. Zbl 0926.68028
Hanus, Michael; Prehofer, Christian
22
1999
A semantic basis for Quest. Zbl 0941.68528
Cardelli, Luca; Longo, Giuseppe
21
1991
Modularity of strong normalization in the algebraic-\(\lambda\)-cube. Zbl 0918.03010
Barbanera, Franco; Fernández, Maribel; Geuvers, Herman
21
1997
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
20
1991
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
20
1994
On characterizations of the basic feasible functionals. I. Zbl 0992.68020
Irwin, Robert J.; Royer, James S.; Kapron, Bruce M.
20
2001
Probabilistic functional programming in Haskell. Zbl 1091.68023
Erwig, Martin; Kollmansberger, Steve
20
2006
Transformation techniques for context-sensitive rewrite systems. Zbl 1104.68056
Giesl, Jürgen; Middeldorp, Aart
20
2004
Cubical Agda: a dependently typed programming language with univalence and higher inductive types. Zbl 1512.68058
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
20
2021
A paradigmatic object-oriented programming language: Design, static typing and semantics. Zbl 0817.68037
Bruce, Kim B.
19
1994
DrScheme: A programming environment for scheme. Zbl 0987.68610
Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
19
2002
Mechanizing metatheory in a logical framework. Zbl 1125.68029
Harper, Robert; Licata, Daniel R.
19
2007
Correspondence assertions for process synchronization in concurrent communications. Zbl 1077.68605
Bonelli, Eduardo; Compagnoni, Andriana; Gunter, Elsa
19
2005
Algorithm + strategy = parallelism. Zbl 0933.68033
Trinder, P. W.; Hammond, K.; Loidl, H.-W.; Payton Jones, S. L.
18
1998
Generalizing generalized tries. Zbl 0965.68016
Hinze, Ralf
18
2000
A coherence theorem for Martin-Löf’s type theory. Zbl 0917.03028
Hedberg, Michael
17
1998
Categorical semantics for arrows. Zbl 1191.68406
Jacobs, Bart; Heunen, Chris; Hasuo, Ichiro
17
2009
Dynamic typing in polymorphic languages. Zbl 0819.68142
Abadi, Martin; Cardelli, Luca; Pierce, B.; Rémy, D.
17
1995
FUNCTIONAL PEARL: Enumerating the rationals. Zbl 1103.68444
Gibbons, Jeremy; Lester, David; Bird, Richard
17
2006
Recursive subtyping revealed. Zbl 1025.68017
Gapeyev, Vladimir; Levin, Michael Y.; Pierce, Benjamin C.
17
2002
A monadic framework for delimited continuations. Zbl 1130.68038
Dyvbig, R. Kent; Jones, Simon Peyton; Sabry, Amr
16
2007
Verification of non-functional programs using interpretations in type theory. Zbl 1111.68389
Filliâtre, Jean-Christophe
16
2003
Finger trees: a simple general-purpose data structure. Zbl 1088.68041
Hinze, Ralf; Paterson, Ross
16
2006
Grammatical framework. A type-theoretical grammar formalism. Zbl 1085.68026
Ranta, Aarne
16
2004
A partial evaluator for the untyped lambda-calculus. Zbl 1155.68350
Gomard, Carsten K.; Jones, Neil D.
15
1991
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
15
2007
A system of constructor classes: Overloading and implicit higher-order polymorphism. Zbl 0819.68027
Jones, Mark P.
15
1995
The impact of higher-order state and control effects on local relational reasoning. Zbl 1252.68187
Dreyer, Derek; Neis, Georg; Birkedal, Lars
15
2012
Safety of Nöcker’s strictness analysis. Zbl 1153.68012
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko
15
2008
Well-founded recursion with copatterns and sized types. Zbl 1420.68031
Abel, Andreas; Pientka, Brigitte
15
2016
Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. Zbl 1442.68024
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus
15
2020
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
15
2009
Higher-order functions for parsing. Zbl 0817.68097
Hutton, Graham
14
1992
Functional runtime systems within the lambda-sigma calculus. Zbl 0918.03018
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno
14
1998
Sound and complete models of contracts. Zbl 1122.68019
Blume, Matthias; McAllester, David
14
2006
Intensional polymorphism in type-erasure semantics. Zbl 1040.68059
Crary, Karl; Weirich, Stephanie; Morrisett, Greg
14
2002
Types and trace effects of higher order programs. Zbl 1142.68020
Skalka, Christian; Smith, Scott; van Horn, David
14
2008
A simple library implementation of binary sessions. Zbl 1418.68036
Padovani, Luca
14
2017
Domain-free pure type systems. Zbl 0979.03013
Barthe, Gilles; Sørensen, Morten Heine
13
2000
HOLCF=HOL+LCF. Zbl 0933.03028
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar
13
1999
Modular proof of strong normalization for the calculus of constructions. Zbl 1159.03311
Geuvers, Herman; Nederhof, Mark-Jan
13
1991
A calculus with polymorphic and polyvariant flow types. Zbl 1005.68042
Wells, J. B.; Dimock, Allyn; Muller, Robert; Turbak, Franklyn
13
2002
Secrets of the Glasgow Haskell Compiler inliner. Zbl 1037.68042
Jones, Simon Peyton; Marlow, Simon
13
2002
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
13
2005
A tutorial on the universality and expressiveness of fold. Zbl 0948.68036
Hutton, Graham
13
1999
Parallel functional programming in Eden. Zbl 1096.68018
Loogen, Rita; Ortega-Mallén, Yolanda; Peña-Marí, Ricardo
13
2005
Counting and generating lambda terms. Zbl 1311.68045
Grygiel, Katarzyna; Lescanne, Pierre
13
2013
Consistency of the theory of contexts. Zbl 1092.68022
Bucalo, Anna; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan; Hoffman, Martin
13
2006
Stack-based access control and secure information flow. Zbl 1077.68569
Banerjee, Anindya; Naumann, David A.
13
2005
Proof-producing translation of higher-order logic into pure and stateful ML. Zbl 1297.68053
Myreen, Magnus O.; Owens, Scott
13
2014
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Zbl 1522.68118
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James
13
2021
Using types as search keys in function libraries. Zbl 1155.68452
Rittri, Mikael
12
1991
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
12
2000
The Bologna optimal higher-order machine. Zbl 0876.68018
Asperti, Andrea; Giovannetti, Cecilia; Naletto, Andrea
12
1996
A calculus of module systems. Zbl 0994.68033
Ancona, Davide; Zucca, Elena
12
2002
A predicative analysis of structural recursion. Zbl 0998.68027
Abel, Andreas; Altenkirch, Thorsten
12
2002
Functional unparsing. Zbl 0928.68018
Danvy, Olivier
12
1998
OutsideIn(X): modular type inference with local assumptions. Zbl 1262.68034
Vytiniotis, Dimitrios; Jones, Simon Peyton; Schrijvers, Tom; Sulzmann, Martin
12
2011
Is sized typing for coq practical? Zbl 07697869
Chan, Jonathan; Li, Yufeng; Bowman, William J.
1
2023
Folding left and right matters: direct style, accumulators, and continuations. Zbl 07697870
Danvy, Olivier
1
2023
Migrating gradual types. Zbl 1511.68051
Campora, John Peter III; Chen, Sheng; Erwig, Martin; Walkingshaw, Eric
2
2022
Back to futures. Zbl 07492705
Pruiksma, Klaas; Pfenning, Frank
2
2022
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. Zbl 1511.68052
Danvy, Olivier
1
2022
A well-known representation of monoids and its application to the function ‘vector reverse’. Zbl 07581653
Swierstra, Wouter
1
2022
Cubical Agda: a dependently typed programming language with univalence and higher inductive types. Zbl 1512.68058
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
20
2021
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Zbl 1522.68118
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James
13
2021
Blame and coercion: together again for the first time. Zbl 1522.68130
Siek, Jeremy G.; Thiemann, Peter; Wadler, Philip
5
2021
Linear capabilities for fully abstract compilation of separation-logic-verified code. Zbl 1522.68138
Van Strydonck, Thomas; Piessens, Frank; Devriese, Dominique
3
2021
On the correctness of monadic backward induction. Zbl 1522.68120
Brede, Nuria; Botta, Nicola
3
2021
A trustful monad for axiomatic reasoning with probability and nondeterminism. Zbl 1493.03004
Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi
2
2021
Not by equations alone. Reasoning with extensible effects. Zbl 1522.68124
Kiselyov, Oleg; Mu, Shin-Cheng; Sabry, Amr
2
2021
Ready, set, verify! Applying hs-to-coq to real-world Haskell code. Zbl 1522.68121
Breitner, Joachim; Spector-Zabusky, Antal; Li, Yao; Rizkallah, Christine; Wiegley, John; Cohen, Joshua; Weirich, Stephanie
2
2021
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Zbl 1522.68164
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars
2
2021
Explainable dynamic programming. Zbl 1522.68122
Erwig, Martin; Kumar, Prashant
2
2021
Gradual type theory. Zbl 1522.68127
New, Max S.; Licata, Daniel R.; Ahmed, Amal
2
2021
Cogent: uniqueness types and certifying compilation. Zbl 1522.68128
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele
2
2021
Taming the merge operator. Zbl 1519.68049
Huang, Xuejing; Zhao, Jinxu; Oliveira, Bruno C. d. S.
2
2021
Extensional equality preservation and verified generic programming. Zbl 1522.68119
Botta, Nicola; Brede, Nuria; Jansson, Patrik; Richter, Tim
1
2021
Lambda calculus with algebraic simplification for reduction parallelisation: extended study. Zbl 1522.68126
Morihata, Akimasa
1
2021
Effekt: capability-passing style for type- and effect-safe, extensible effect handlers in Scala. Zbl 1442.68024
Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus
15
2020
Tight typings and split bounds, fully developed. Zbl 1482.68077
Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia
10
2020
Effect handlers via generalised continuations. Zbl 1442.68028
Hillerström, Daniel; Lindley, Sam; Atkey, Robert
8
2020
Doo bee doo bee doo. Zbl 1442.68026
Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig
7
2020
Elaborating dependent (co)pattern matching: no pattern left behind. Zbl 1442.68025
Cockx, Jesper; Abel, Andreas
1
2020
Heterogeneous binary random-access lists. Zbl 1442.68032
Swierstra, Wouter
1
2020
Build systems à la carte: theory and practice. Zbl 1442.68029
Mokhov, Andrey; Mitchell, Neil; Peyton Jones, Simon
1
2020
Local algebraic effect theories. Zbl 1482.68091
Lukšič, Žiga; Pretnar, Matija
1
2020
Explicit effect subtyping. Zbl 1482.68081
Karachalias, Georgios; Pretnar, Matija; Saleh, Amr Hany; Vanderhallen, Stien; Schrijvers, Tom
1
2020
The verified CakeML compiler backend. Zbl 1493.68091
Kiam Tan, Yong; Myreen, Magnus O.; Kumar, Ramana; Fox, Anthony; Owens, Scott; Norrish, Michael
12
2019
POPLMark reloaded: mechanizing proofs by logical relations. Zbl 1442.68257
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin
9
2019
How to evaluate the performance of gradual type systems. Zbl 1493.68087
Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias
7
2019
How to prove decidability of equational theories with second-order computation analyser SOL. Zbl 1442.68027
Hamana, Makoto
3
2019
Folding left and right over Peano numbers. Zbl 1493.68084
Danvy, Olivier
2
2019
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus. Zbl 1493.68085
García-Pérez, Álvaro; Nogueira, Pablo
1
2019
Constructive Galois connections. Zbl 1493.68104
Darais, David; Van Horn, David
1
2019
Iris from the ground up: a modular foundation for higher-order concurrent separation logic. Zbl 1476.68062
Jung, Ralf; Krebbers, Robbert; Jourdan, Jacques-Henri; Bizjak, Aleš; Birkedal, Lars; Dreyer, Derek
35
2018
The adequacy of Launchbury’s natural semantics for lazy evaluation. Zbl 1478.68137
Breitner, Joachim
3
2018
Foundations of dependent interoperability. Zbl 1476.68051
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric
2
2018
Size-based termination of higher-order rewriting. Zbl 1476.68048
Blanqui, Frédéric
2
2018
Abstract allocation as a unified approach to polyvariance in control-flow analyses. Zbl 1476.68054
Gilray, Thomas; Adams, Michael D.; Might, Matthew
1
2018
An extended account of contract monitoring strategies as patterns of communication. Zbl 1476.68055
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam
1
2018
A simple library implementation of binary sessions. Zbl 1418.68036
Padovani, Luca
14
2017
Notions of computation as monoids. Zbl 1476.68098
Rivas, Exequiel; Jaskelioff, Mauro
7
2017
Algebraic data integration. Zbl 1475.68069
Schultz, Patrick; Wisnesky, Ryan
7
2017
No value restriction is needed for algebraic effects and handlers. Zbl 1418.68034
Kammar, Ohad; Pretnar, Matija
5
2017
Quick specifications for the busy programmer. Zbl 1418.68037
Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian
4
2017
The calculus of dependent lambda eliminations. Zbl 1418.68038
Stump, Aaron
4
2017
Backtracking with cut via a distributive law and left-zero monoids. Zbl 1418.68063
Piróg, Maciej; Staton, Sam
4
2017
Contributions to a computational theory of policy advice and avoidability. Zbl 1476.68049
Botta, Nicola; Jansson, Patrik; Ionescu, Cezar
3
2017
Programming with ornaments. Zbl 1418.68035
Ko, Hsiang-Shang; Gibbons, Jeremy
3
2017
Normal-order reduction grammars. Zbl 1418.68111
Bendkowski, Maciej
3
2017
Higher order symbolic execution for contract verification and refutation. Zbl 1418.68061
Nguyên, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David
2
2017
Flexible dynamic information flow control in the presence of exceptions. Zbl 1418.68043
Stefan, Deian; Mazières, David; Mitchell, John C.; Russo, Alejandro
2
2017
Compiling a 50-year journey. Zbl 1476.68058
Hutton, Graham; Bahr, Patrick
1
2017
An algebra for distributed big data analytics. Zbl 1475.68327
Fegaras, Leonidas
1
2017
Interactive programming in Agda – objects and graphical user interfaces. Zbl 1418.68031
Abel, Andreas; Adelsberger, Stephan; Setzer, Anton
1
2017
The essence of ornaments. Zbl 1418.68032
Dagand, Pierre-Evariste
1
2017
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. Zbl 1418.68185
Ziliani, Beta; Sozeau, Matthieu
1
2017
Finiteness and rational sequences, constructively. Zbl 1418.68069
Uustalu, Tarmo; Veltri, Niccolò
1
2017
Editorial: Special issue on programming with dependent types. Zbl 1418.68006
1
2017
Well-founded recursion with copatterns and sized types. Zbl 1420.68031
Abel, Andreas; Pientka, Brigitte
15
2016
Linear lambda terms as invariants of rooted trivalent maps. Zbl 1420.68050
Zeilberger, Noam
8
2016
Homotopical patch theory. Zbl 1420.68060
Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert
5
2016
Efficiency of lambda-encodings in total type theory. Zbl 1420.68045
Stump, Aaron; Fu, Peng
3
2016
Gradual type-and-effect systems. Zbl 1420.68033
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric
3
2016
Transparent fault tolerance for scalable functional computation. Zbl 1420.68026
Stewart, Robert; Maier, Patrick; Trinder, Phil
2
2016
A characterization of lambda-terms transforming numerals. Zbl 1420.68042
Parys, Paweł
2
2016
Safe zero-cost coercions for Haskell. Zbl 1420.68035
Breitner, Joachim; Eisenberg, Richard A.; Peyton Jones, Simon; Weirich, Stephanie
2
2016
Composable scheduler activations for Haskell. Zbl 1420.68057
Sivaramakrishnan, K. C.; Harris, Tim; Marlow, Simon; Peyton Jones, Simon
1
2016
Oracle-guided scheduling for controlling granularity in implicitly parallel languages. Zbl 1420.68058
Acar, Umut A.; Charguéraud, Arthur; Rainey, Mike
1
2016
Eliminating dependent pattern matching without K. Zbl 1419.68037
Cockx, Jesper; Devriese, Dominique; Piessens, Frank
1
2016
Reasoning about multi-stage programs. Zbl 1420.68040
Inoue, Jun; Taha, Walid
1
2016
Unifying structured recursion schemes. An extended study. Zbl 1420.68039
Hinze, Ralf; Wu, Nicolas
1
2016
Indexed containers. Zbl 1420.68032
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter
25
2015
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm. Zbl 1420.68185
Aransay, Jesús; Divasón, Jose
9
2015
Counting and generating terms in the binary lambda calculus. Zbl 1419.68039
Grygiel, Katarzyna; Lescanne, Pierre
8
2015
Calculating correct compilers. Zbl 1420.68053
Bahr, Patrick; Hutton, Graham
5
2015
Mtac: a monad for typed tactic programming in Coq. Zbl 1420.68189
Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
4
2015
Type-based amortized resource analysis with integers and arrays. Zbl 1420.68068
Hoffmann, Jan; Shao, Zhong
4
2015
Generating constrained random data with uniform distribution. Zbl 1420.68036
Claessen, Koen; Duregård, Jonas; Pałka, Michał H.
3
2015
A representation theorem for second-order functionals. Zbl 1420.68041
Jaskelioff, Mauro; O’Connor, Russell
2
2015
Interleaving data and effects. Zbl 1419.68036
Atkey, Robert; Johann, Patricia
2
2015
Teaching types with a cognitively effective worked example format. Zbl 1420.68047
Tirronen, Ville; Isomöttönen, Ville
1
2015
Understanding beginners’ mistakes with Haskell. Zbl 1420.68048
Tirronen, Ville; Uusi-Mäkelä, Samuel; Isomöttönen, Ville
1
2015
Verified decision procedures for MSO on words based on derivatives of regular expressions. Zbl 1420.68049
Traytel, Dmitriy; Nipkow, Tobias
1
2015
Propositions as sessions. Zbl 1307.68025
Wadler, Philip
48
2014
Proof-producing translation of higher-order logic into pure and stateful ML. Zbl 1297.68053
Myreen, Magnus O.; Owens, Scott
13
2014
F-ing modules. Zbl 1322.68048
Rossberg, Andreas; Russo, Claudio; Dreyer, Derek
9
2014
Elaborating intersection and union types. Zbl 1297.68049
Dunfield, Joshua
7
2014
Transporting functions across ornaments. Zbl 1297.68047
Dagand, Pierre-Évariste; McBride, Conor
5
2014
Book review of: J. van Eijck and C. Unger, Computational semantics with functional programming. Zbl 1305.00056
Orchard, Dominic
2
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
Work it, wrap it, fix it, fold it. Zbl 1297.68054
Sculthorpe, Neil; Hutton, Graham
1
2014
Pushdown flow analysis with abstract garbage collection. Zbl 1297.68051
Johnson, J. Ian; Sergey, Ilya; Earl, Christopher; Might, Matthew; van Horn, David
1
2014
On the complexity of stream equality. Zbl 1297.68050
Endrullis, Jörg; Hendriks, Dimitri; Bakhshi, Rena; Roşu, Grigore
1
2014
Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059
Brady, Edwin
31
2013
Counting and generating lambda terms. Zbl 1311.68045
Grygiel, Katarzyna; Lescanne, Pierre
13
2013
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
...and 366 more Documents
all top 5

Cited by 2,560 Authors

24 Peyton Jones, Simon L.
24 Yoshida, Nobuko
22 Birkedal, Lars
21 Kesner, Delia
21 Weirich, Stephanie
20 Pfenning, Frank
20 Schrijvers, Tom
19 Schmidt-Schauß, Manfred
18 Danvy, Olivier
18 Hinze, Ralf
18 Kamareddine, Fairouz D.
17 Ghani, Neil
16 Atkey, Robert
16 Harper, Robert
16 Lucas, Salvador
16 Thiemann, Peter J.
15 Abel, Andreas M.
15 Kiselyov, Oleg
15 Pientka, Brigitte
14 Dreyer, Derek R.
14 Gibbons, Jeremy
14 Pottier, François
14 Swierstra, Wouter
13 Felleisen, Matthias
13 Fernández, Maribel
13 Sabel, David
13 Sabry, Amr
13 Vytiniotis, Dimitrios
12 Dezani-Ciancaglini, Mariangiola
12 McBride, Conor Thomas
12 Myreen, Magnus O.
12 Nipkow, Tobias
12 Oliveira, Bruno C.d. S.
12 Pierce, Benjamin C.
12 Uustalu, Tarmo
12 Voigtlander, Janis
12 Wadler, Philip Lee
12 Zucca, Elena
11 Altenkirch, Thorsten
11 Ayala-Rincón, Mauricio
11 Dal Lago, Ugo
11 Hanus, Michael
11 Hutton, Graham
11 Johann, Patricia
11 Mackie, Ian
11 Pérez, Jorge A.
11 Pitts, Andrew M.
11 Shan, Chung-chieh
11 Stump, Aaron
11 Sulzmann, Martin
11 Talcott, Carolyn L.
10 Accattoli, Beniamino
10 Alpuente, María
10 Barthe, Gilles
10 Caires, Luís
10 Cheney, James
10 Curien, Pierre-Louis
10 Ghelli, Giorgio
10 Goncharov, Sergeĭ Savost’yanovich
10 Gordon, Andrew D.
10 Igarashi, Atsushi
10 Møgelberg, Rasmus Ejlers
10 Schröder, Lutz
10 Vasconcelos, Vasco Thudichum
10 Vidal, Germán
9 Alves, Sandra
9 Benton, Nick
9 Findler, Robert Bruce
9 Florido, Mário
9 Geuvers, Jan Herman
9 Herbelin, Hugo
9 Hofmann, Martin
9 Jansson, Patrik
9 Kobayashi, Naoki
9 Lescanne, Pierre
9 Lindley, Sam
9 Liquori, Luigi
9 Nordvall Forsberg, Fredrik
9 Staton, Sam
9 Wu, Nicolas
8 Ancona, Davide
8 Bizjak, Aleš
8 Blanqui, Frédéric
8 Bonelli, Eduardo
8 Chakravarty, Manuel M. T.
8 Charguéraud, Arthur
8 Devriese, Dominique
8 Fischer, Sebastian
8 Gaboardi, Marco
8 Hamana, Makoto
8 Hu, Zhenjiang
8 Jeuring, Johan
8 Jouannaud, Jean-Pierre
8 Keller, Gabriele Cornelia
8 Klop, Jan Willem
8 Leroy, Xavier
8 Matthes, Ralph
8 Meseguer Guaita, José
8 Morrisett, Greg
8 Moser, Georg
...and 2,460 more Authors
all top 5

Cited in 127 Journals

218 Journal of Functional Programming
171 Theoretical Computer Science
91 Information and Computation
81 Logical Methods in Computer Science
71 Mathematical Structures in Computer Science
69 Journal of Automated Reasoning
58 Higher-Order and Symbolic Computation
43 Journal of Logical and Algebraic Methods in Programming
29 Science of Computer Programming
28 Annals of Pure and Applied Logic
26 The Journal of Logic and Algebraic Programming
22 Information Processing Letters
16 Formal Aspects of Computing
16 Theory and Practice of Logic Programming
15 Acta Informatica
12 Journal of Applied Logic
11 Journal of Symbolic Computation
10 Theory of Computing Systems
8 RAIRO. Theoretical Informatics and Applications
8 Computer Languages, Systems & Structures
7 Journal of Pure and Applied Algebra
7 New Generation Computing
6 The Journal of Symbolic Logic
6 Archive for Mathematical Logic
6 Formal Methods in System Design
6 Journal of Logic, Language and Information
6 ACM Transactions on Computational Logic
5 Journal of Computer and System Sciences
5 Indagationes Mathematicae. New Series
5 The Bulletin of Symbolic Logic
5 Annals of Mathematics and Artificial Intelligence
4 Journal of Philosophical Logic
4 Programming and Computer Software
4 Journal of Computer Science and Technology
4 International Journal of Foundations of Computer Science
4 Applied Categorical Structures
4 Fundamenta Informaticae
4 International Journal of Number Theory
3 Computers and Fluids
3 Studia Logica
3 Distributed Computing
3 Applicable Algebra in Engineering, Communication and Computing
3 Journal of Applied Non-Classical Logics
3 The Electronic Journal of Combinatorics
3 Constraints
3 Science China. Information Sciences
3 RAIRO. Theoretical Informatics and Applications
2 Discrete Applied Mathematics
2 Advances in Mathematics
2 Information Sciences
2 Notre Dame Journal of Formal Logic
2 Synthese
2 European Journal of Combinatorics
2 International Journal of Parallel Programming
2 International Journal of Approximate Reasoning
2 Elemente der Mathematik
2 RAIRO. Informatique Théorique et Applications
2 Journal of Mathematical Sciences (New York)
2 Journal of Difference Equations and Applications
2 Topoi
2 Annals of Combinatorics
2 Mathematics in Computer Science
2 Logica Universalis
1 Artificial Intelligence
1 Computer Physics Communications
1 International Journal of Mathematical Education in Science and Technology
1 International Journal for Numerical Methods in Fluids
1 Journal of Computational Physics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Physica A
1 Chaos, Solitons and Fractals
1 Applied Mathematics and Computation
1 The Fibonacci Quarterly
1 Fuzzy Sets and Systems
1 Journal of Computational and Applied Mathematics
1 Journal of the London Mathematical Society. Second Series
1 Kodai Mathematical Journal
1 Mathematics and Computers in Simulation
1 Proceedings of the London Mathematical Society. Third Series
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Advances in Applied Mathematics
1 History and Philosophy of Logic
1 Discrete & Computational Geometry
1 Mathematical and Computer Modelling
1 Journal of Cryptology
1 Multidimensional Systems and Signal Processing
1 Real-Time Systems
1 European Journal of Operational Research
1 SIAM Review
1 Celestial Mechanics and Dynamical Astronomy
1 Cybernetics and Systems Analysis
1 Applied and Computational Harmonic Analysis
1 Bulletin des Sciences Mathématiques
1 Theory and Applications of Categories
1 ACM Transactions on Modeling and Computer Simulation
1 Mathematical Problems in Engineering
1 Parallel Algorithms and Applications
1 Journal of Automata, Languages and Combinatorics
1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
1 Journal of the ACM
...and 27 more Journals
all top 5

Cited in 42 Fields

2,116 Computer science (68-XX)
810 Mathematical logic and foundations (03-XX)
143 Category theory; homological algebra (18-XX)
38 Combinatorics (05-XX)
19 Number theory (11-XX)
19 Algebraic topology (55-XX)
16 Information and communication theory, circuits (94-XX)
15 Order, lattices, ordered algebraic structures (06-XX)
14 Quantum theory (81-XX)
14 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
8 Linear and multilinear algebra; matrix theory (15-XX)
7 General algebraic systems (08-XX)
7 Group theory and generalizations (20-XX)
7 Numerical analysis (65-XX)
7 Operations research, mathematical programming (90-XX)
6 Fluid mechanics (76-XX)
6 Biology and other natural sciences (92-XX)
6 Mathematics education (97-XX)
5 History and biography (01-XX)
5 Probability theory and stochastic processes (60-XX)
4 Statistics (62-XX)
4 Systems theory; control (93-XX)
3 General and overarching topics; collections (00-XX)
3 Commutative algebra (13-XX)
3 Difference and functional equations (39-XX)
3 Convex and discrete geometry (52-XX)
2 Measure and integration (28-XX)
2 Ordinary differential equations (34-XX)
2 Geometry (51-XX)
2 General topology (54-XX)
2 Mechanics of particles and systems (70-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 \(K\)-theory (19-XX)
1 Topological groups, Lie groups (22-XX)
1 Partial differential equations (35-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Mechanics of deformable solids (74-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year