×

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: Indexed cover-to-cover
Documents Indexed: 619 Publications (since 1991)
References Indexed: 327 Publications with 9,881 References.
all top 5

Latest Issues

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)
8, No. 2 (1998)
8, No. 1 (1998)
...and 25 more Volumes
all top 5

Authors

18 Bird, Richard S.
18 Hinze, Ralf
13 Peyton Jones, Simon L.
10 Hutton, Graham
10 Weirich, Stephanie
9 Dreyer, Derek R.
9 Pierce, Benjamin C.
8 Abel, Andreas M.
8 Danvy, Olivier
8 Erwig, Martin
8 Findler, Robert Bruce
8 Gibbons, Jeremy
8 McBride, Conor Thomas
7 Harper, Robert
7 Morrisett, Greg
7 Mu, Shin-Cheng
7 Wadler, Philip Lee
6 Barendregt, Hendrik Pieter
6 Jansson, Patrik
6 Sabry, Amr
6 Swierstra, Wouter
5 Acar, Umut A.
5 Barthe, Gilles
5 Claessen, Koen
5 Crary, Karl
5 Curtis, Sharon A.
5 Devriese, Dominique
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 Achten, Peter
4 Ariola, Zena M.
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 Felleisen, Matthias
4 Flatt, Matthew
4 Kamareddine, Fairouz D.
4 Kennedy, Andrew J.
4 Licata, Daniel R.
4 Marlow, Simon
4 Nanevski, Aleksandar
4 Nipkow, Tobias
4 Owens, Scott
4 Paterson, Ross A.
4 Wakeling, David
3 Abadi, Martín
3 Altenkirch, Thorsten
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 Ghani, Neil
3 Henglein, Fritz
3 Herbelin, Hugo
3 Hu, Zhenjiang
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 Lindley, Sam
3 Mairson, Harry George
3 Maranget, Luc
3 Moggi, Eugenio
3 Morihata, Akimasa
3 New, Max S.
3 Pfenning, Frank
3 Pientka, Brigitte
3 Piessens, Frank
3 Pottier, François
3 Pretnar, Matija
3 Rainey, Mike
3 Reppy, John H.
3 Rossberg, Andreas
3 Sergey, Ilya
3 Serrano, Manuel
3 Sewell, Peter
3 Shan, Chung-chieh
3 Sheeran, Mary
...and 703 more Authors

Publications by Year

Citations contained in zbMATH Open

412 Publications have been cited 2,442 times in 1,624 Documents Cited by Year
Special issue: Haskell 98 language and librairies. The revised report. Zbl 1067.68041
107
2003
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
102
1991
Applicative programming with effects. Zbl 1128.68020
McBride, Conor; Paterson, Ross
44
2008
The Zipper. Zbl 0893.68014
Huet, Gérard
39
1997
Linear type theory for asynchronous session types. Zbl 1185.68194
Gay, Simon J.; Vasconcelos, Vasco T.
34
2010
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
29
1991
Classical logic, continuation semantics and abstract machines. Zbl 0928.68074
Streicher, Th.; Reus, B.
29
1998
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
28
1997
The view from the left. Zbl 1069.68539
McBride, Conor; McKinna, James
28
2004
Propositions as sessions. Zbl 1307.68025
Wadler, Philip
25
2014
Deriving a lazy abstract machine. Zbl 0881.68049
Sestoft, Peter
25
1997
\(\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
24
1996
Setoids in type theory. Zbl 1060.03030
Barthe, Gilles; Capretta, Venanzio; Pons, Olivier
24
2003
The call-by-need lambda calculus. Zbl 0887.68007
Ariola, Zena M.; Felleisen, Matthias
23
1997
Efficient self-interpretation in lambda calculus. Zbl 0817.68051
Mogensen, Torben Æ.
23
1992
de Bruijn notation as a nested datatype. Zbl 0926.68025
Bird, Richard S.; Paterson, Ross
23
1999
Equivalence in functional languages with effects. Zbl 0941.68540
Mason, Ian; Talcott, Carolyn
22
1991
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
22
1992
Computational types from a logical perspective. Zbl 0920.03023
Benton, P. N.; Bierman, G. M.; de Paiva, V. C. V.
21
1998
Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059
Brady, Edwin
20
2013
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
19
1998
Higher-order narrowing with definitional trees. Zbl 0926.68028
Hanus, Michael; Prehofer, Christian
19
1999
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. Zbl 1159.68389
Peyton Jones, Simon L.
18
1992
Correspondence assertions for process synchronization in concurrent communications. Zbl 1077.68605
Bonelli, Eduardo; Compagnoni, Andriana; Gunter, Elsa
18
2005
Algorithms with polynomial interpretation termination proof. Zbl 0987.68042
Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H.
18
2001
Errata to: “Stack-based typed assembly language”. Zbl 1110.68361
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
18
2003
Transformation techniques for context-sensitive rewrite systems. Zbl 1104.68056
Giesl, Jürgen; Middeldorp, Aart
18
2004
Polymorphic type, region and effect inference. Zbl 0817.68099
Talpin, Jean-Pierre; Jouvelot, Pierre
17
1992
The virtues of eta-expansion. Zbl 0833.68072
Jay, C. Barry; Ghani, Neil
17
1995
Simple type-theoretic foundations for object-oriented programming. Zbl 0817.68052
Pierce, Benjamin C.; Turner, David N.
16
1994
Regular-expression derivatives re-examined. Zbl 1163.68317
Owens, Scott; Reppy, John; Turon, Aaron
16
2009
The expressive power of higher-order types or, life without CONS. Zbl 0988.68046
Jones, Neil D.
16
2001
A semantic basis for Quest. Zbl 0941.68528
Cardelli, Luca; Longo, Giuseppe
15
1991
A positive supercompiler. Zbl 0870.68040
Sørensen, M. H.; Glück, R.; Jones, N. D.
15
1996
FUNCTIONAL PEARL: Enumerating the rationals. Zbl 1103.68444
Gibbons, Jeremy; Lester, David; Bird, Richard
15
2006
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
15
2010
Indexed containers. Zbl 1420.68032
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter
15
2015
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158
Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh
14
2009
A paradigmatic object-oriented programming language: Design, static typing and semantics. Zbl 0817.68037
Bruce, Kim B.
14
1994
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
14
1994
Modularity of strong normalization in the algebraic-\(\lambda\)-cube. Zbl 0918.03010
Barbanera, Franco; Fernández, Maribel; Geuvers, Herman
14
1997
Hoare type theory, polymorphism and separation. Zbl 1155.68354
Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars
14
2008
Data types à la carte. Zbl 1153.68015
Swierstra, Wouter
14
2008
Parameterised notions of computation. Zbl 1191.68156
Atkey, Robert
13
2009
Categorical semantics for arrows. Zbl 1191.68406
Jacobs, Bart; Heunen, Chris; Hasuo, Ichiro
13
2009
A coherence theorem for Martin-Löf’s type theory. Zbl 0917.03028
Hedberg, Michael
13
1998
On characterizations of the basic feasible functionals. I. Zbl 0992.68020
Irwin, Robert J.; Royer, James S.; Kapron, Bruce M.
13
2001
On bunched typing. Zbl 1056.03013
O’Hearn, Peter
13
2003
Probabilistic functional programming in Haskell. Zbl 1091.68023
Erwig, Martin; Kollmansberger, Steve
13
2006
Counting and generating lambda terms. Zbl 1311.68045
Grygiel, Katarzyna; Lescanne, Pierre
13
2013
Domain-free pure type systems. Zbl 0979.03013
Barthe, Gilles; Sørensen, Morten Heine
12
2000
Practical type inference for arbitrary-rank types. Zbl 1107.68030
Jones, Simon Peyton; Vytiniotis, Dimitrios; Weirich, Stephanie; Shields, Mark
12
2007
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
12
2009
Mechanizing metatheory in a logical framework. Zbl 1125.68029
Harper, Robert; Licata, Daniel R.
12
2007
Proofs for free. Parametricity for dependent types. Zbl 1271.68076
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
12
2012
A partial evaluator for the untyped lambda-calculus. Zbl 1155.68350
Gomard, Carsten K.; Jones, Neil D.
11
1991
Type inference with simple subtypes. Zbl 0941.68541
Mitchell, John C.
11
1991
Dynamic typing in polymorphic languages. Zbl 0819.68142
Abadi, Martin; Cardelli, Luca; Pierce, B.; Rémy, D.
11
1995
Functional runtime systems within the lambda-sigma calculus. Zbl 0918.03018
Hardin, Thérèse; Maranget, Luc; Pagano, Bruno
11
1998
Algorithm + strategy = parallelism. Zbl 0933.68033
Trinder, P. W.; Hammond, K.; Loidl, H.-W.; Payton Jones, S. L.
11
1998
HOLCF=HOL+LCF. Zbl 0933.03028
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar
11
1999
Parallel functional programming in Eden. Zbl 1096.68018
Loogen, Rita; Ortega-Mallén, Yolanda; Peña-Marí, Ricardo
11
2005
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
10
2018
The lambda calculus is algebraic. Zbl 1040.68023
Selinger, Peter
10
2002
Extending a \(\lambda\)-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms. Zbl 0882.03011
Kamareddine, Fairouz; Ríos, Alejandro
10
1997
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Monadic parsing in Haskell. Zbl 0917.68039
Hutton, Graham; Meijer, Erik
10
1998
Stack-based access control and secure information flow. Zbl 1077.68569
Banerjee, Anindya; Naumann, David A.
10
2005
Verification of non-functional programs using interpretations in type theory. Zbl 1111.68389
Filliâtre, Jean-Christophe
10
2003
Regular expression pattern matching for XML. Zbl 1093.68556
Hosoya, Haruo; Pierce, Benjamin C.
9
2003
Secrets of the Glasgow Haskell Compiler inliner. Zbl 1037.68042
Jones, Simon Peyton; Marlow, Simon
9
2002
Recursive subtyping revealed. Zbl 1025.68017
Gapeyev, Vladimir; Levin, Michael Y.; Pierce, Benjamin C.
9
2002
Intensional polymorphism in type-erasure semantics. Zbl 1040.68059
Crary, Karl; Weirich, Stephanie; Morrisett, Greg
9
2002
Proof-producing translation of higher-order logic into pure and stateful ML. Zbl 1297.68053
Myreen, Magnus O.; Owens, Scott
9
2014
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
9
1991
A tutorial on the universality and expressiveness of fold. Zbl 0948.68036
Hutton, Graham
9
1999
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
9
2000
Higher-order functions for parsing. Zbl 0817.68097
Hutton, Graham
9
1992
Consistency of the theory of contexts. Zbl 1092.68022
Bucalo, Anna; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan; Hoffman, Martin
9
2006
DrScheme: A programming environment for scheme. Zbl 0987.68610
Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
9
2002
Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories. Zbl 0979.68055
Kirchner, Hélène; Moreau, Pierre-Etienne
9
2001
A monadic framework for delimited continuations. Zbl 1130.68038
Dyvbig, R. Kent; Jones, Simon Peyton; Sabry, Amr
9
2007
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
Grammatical framework. A type-theoretical grammar formalism. Zbl 1085.68026
Ranta, Aarne
9
2004
Cubical agda: a dependently typed programming language with univalence and higher inductive types. Zbl 07443766
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
9
2021
Algebra of programming in Agda: dependent types for relational program derivation. Zbl 1191.68195
Mu, Shin-Cheng; Ko, Hsiang-Shang; Jansson, Patrik
8
2009
Single assignment C: efficient support for high-level array operations in a functional setting. Zbl 1093.68564
Scholz, Sven-Bodo
8
2003
Using types as search keys in function libraries. Zbl 1155.68452
Rittri, Mikael
8
1991
Modular proof of strong normalization for the calculus of constructions. Zbl 1159.03311
Geuvers, Herman; Nederhof, Mark-Jan
8
1991
Generalizing generalized tries. Zbl 0965.68016
Hinze, Ralf
8
2000
The Bologna optimal higher-order machine. Zbl 0876.68018
Asperti, Andrea; Giovannetti, Cecilia; Naletto, Andrea
8
1996
Thunks and the \(\lambda\)-calculus. Zbl 0881.68025
Hatcliff, John; Danvy, Olivier
8
1997
\(A\)-translation and looping combinators in pure type systems. Zbl 0817.03007
Coquand, Thierry; Herbelin, Hugo
8
1994
The semantics of future and an application. Zbl 0926.68075
Flanagan, C.; Felleisen, M.
8
1999
A predicative analysis of structural recursion. Zbl 0998.68027
Abel, Andreas; Altenkirch, Thorsten
8
2002
Composition of functions with accumulating parameters. Zbl 1092.68557
Voigtländer, Janis; Kühnemann, Armin
8
2004
Safety of Nöcker’s strictness analysis. Zbl 1153.68012
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko
8
2008
A simple library implementation of binary sessions. Zbl 1418.68036
Padovani, Luca
8
2017
The impact of higher-order state and control effects on local relational reasoning. Zbl 1252.68187
Dreyer, Derek; Neis, Georg; Birkedal, Lars
8
2012
Gabriel-Ulmer duality and Lawvere theories enriched over a general base. Zbl 1191.68163
Lack, Stephen; Power, John
7
2009
Cubical agda: a dependently typed programming language with univalence and higher inductive types. Zbl 07443766
Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
9
2021
Linear capabilities for fully abstract compilation of separation-logic-verified code. Zbl 07443764
Van Strydonck, Thomas; Piessens, Frank; Devriese, Dominique
2
2021
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Zbl 07443767
Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars
2
2021
Ready, set, verify! Applying hs-to-coq to real-world Haskell code. Zbl 07450477
Breitner, Joachim; Spector-Zabusky, Antal; Li, Yao; Rizkallah, Christine; Wiegley, John; Cohen, Joshua; Weirich, Stephanie
2
2021
Blame and coercion: together again for the first time. Zbl 07450852
Siek, Jeremy G.; Thiemann, Peter; Wadler, Philip
2
2021
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Zbl 07450854
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James
2
2021
On the correctness of monadic backward induction. Zbl 07450857
Brede, Nuria; Botta, Nicola
2
2021
Gradual type theory. Zbl 07450853
New, Max S.; Licata, Daniel R.; Ahmed, Amal
1
2021
Extensional equality preservation and verified generic programming. Zbl 07450855
Botta, Nicola; Brede, Nuria; Jansson, Patrik; Richter, Tim
1
2021
Tight typings and split bounds, fully developed. Zbl 1482.68077
Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia
3
2020
Elaborating dependent (co)pattern matching: no pattern left behind. Zbl 1442.68025
Cockx, Jesper; Abel, Andreas
1
2020
Effect handlers via generalised continuations. Zbl 1442.68028
Hillerström, Daniel; Lindley, Sam; Atkey, Robert
1
2020
Doo bee doo bee doo. Zbl 1442.68026
Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig
1
2020
Local algebraic effect theories. Zbl 1482.68091
Lukšič, Žiga; Pretnar, Matija
1
2020
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
4
2019
The verified CakeML compiler backend. Zbl 07135421
Kiam Tan, Yong; Myreen, Magnus O.; Kumar, Ramana; Fox, Anthony; Owens, Scott; Norrish, Michael
3
2019
How to prove decidability of equational theories with second-order computation analyser SOL. Zbl 1442.68027
Hamana, Makoto
2
2019
How to evaluate the performance of gradual type systems. Zbl 07135420
Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias
2
2019
Constructive Galois connections. Zbl 07135418
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
10
2018
Foundations of dependent interoperability. Zbl 1476.68051
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, É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
Size-based termination of higher-order rewriting. Zbl 1476.68048
Blanqui, Frédéric
1
2018
The adequacy of Launchbury’s natural semantics for lazy evaluation. Zbl 1478.68137
Breitner, Joachim
1
2018
A simple library implementation of binary sessions. Zbl 1418.68036
Padovani, Luca
8
2017
Algebraic data integration. Zbl 1475.68069
Schultz, Patrick; Wisnesky, Ryan
4
2017
Notions of computation as monoids. Zbl 1476.68098
Rivas, Exequiel; Jaskelioff, Mauro
3
2017
No value restriction is needed for algebraic effects and handlers. Zbl 1418.68034
Kammar, Ohad; Pretnar, Matija
3
2017
The calculus of dependent lambda eliminations. Zbl 1418.68038
Stump, Aaron
3
2017
Quick specifications for the busy programmer. Zbl 1418.68037
Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian
2
2017
Normal-order reduction grammars. Zbl 1418.68111
Bendkowski, Maciej
2
2017
Backtracking with cut via a distributive law and left-zero monoids. Zbl 1418.68063
Piróg, Maciej; Staton, Sam
2
2017
Contributions to a computational theory of policy advice and avoidability. Zbl 1476.68049
Botta, Nicola; Jansson, Patrik; Ionescu, Cezar
2
2017
Higher order symbolic execution for contract verification and refutation. Zbl 1418.68061
Nguyên, Phúc C.; Tobin-Hochstadt, Sam; Van Horn, David
1
2017
Programming with ornaments. Zbl 1418.68035
Ko, Hsiang-Shang; Gibbons, Jeremy
1
2017
Interactive programming in Agda – objects and graphical user interfaces. Zbl 1418.68031
Abel, Andreas; Adelsberger, Stephan; Setzer, Anton
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
An algebra for distributed big data analytics. Zbl 1475.68327
Fegaras, Leonidas
1
2017
Well-founded recursion with copatterns and sized types. Zbl 1420.68031
Abel, Andreas; Pientka, Brigitte
7
2016
Linear lambda terms as invariants of rooted trivalent maps. Zbl 1420.68050
Zeilberger, Noam
5
2016
Efficiency of lambda-encodings in total type theory. Zbl 1420.68045
Stump, Aaron; Fu, Peng
3
2016
Homotopical patch theory. Zbl 1420.68060
Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert
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
Gradual type-and-effect systems. Zbl 1420.68033
Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric
1
2016
Eliminating dependent pattern matching without K. Zbl 1419.68037
Cockx, Jesper; Devriese, Dominique; Piessens, Frank
1
2016
Indexed containers. Zbl 1420.68032
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter
15
2015
Counting and generating terms in the binary lambda calculus. Zbl 1419.68039
Grygiel, Katarzyna; Lescanne, Pierre
7
2015
Mtac: a monad for typed tactic programming in Coq. Zbl 1420.68189
Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
3
2015
Calculating correct compilers. Zbl 1420.68053
Bahr, Patrick; Hutton, Graham
3
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
2
2015
Type-based amortized resource analysis with integers and arrays. Zbl 1420.68068
Hoffmann, Jan; Shao, Zhong
2
2015
Generating constrained random data with uniform distribution. Zbl 1420.68036
Claessen, Koen; Duregård, Jonas; Pałka, Michał H.
1
2015
Understanding beginners’ mistakes with Haskell. Zbl 1420.68048
Tirronen, Ville; Uusi-Mäkelä, Samuel; Isomöttönen, Ville
1
2015
Interleaving data and effects. Zbl 1419.68036
Atkey, Robert; Johann, Patricia
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
25
2014
Proof-producing translation of higher-order logic into pure and stateful ML. Zbl 1297.68053
Myreen, Magnus O.; Owens, Scott
9
2014
F-ing modules. Zbl 1322.68048
Rossberg, Andreas; Russo, Claudio; Dreyer, Derek
7
2014
Elaborating intersection and union types. Zbl 1297.68049
Dunfield, Joshua
5
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
Transporting functions across ornaments. Zbl 1297.68047
Dagand, Pierre-Évariste; McBride, Conor
2
2014
Book review of: J. van Eijck and C. Unger, Computational semantics with functional programming. Zbl 1305.00056
Orchard, Dominic
2
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
20
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
6
2013
An insider’s look at LF type reconstruction: everything you (n)ever wanted to know. Zbl 1262.68030
Pientka, Brigitte
6
2013
How to make ad hoc proof automation less ad hoc. Zbl 1314.68281
Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksandar; Dreyer, Derek
3
2013
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. Zbl 1303.68039
Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
3
2013
Modular verification of preemptive OS kernels. Zbl 1311.68043
Gotsman, Alexey; Yang, Hongseok
1
2013
Syntactic soundness proof of a type-and-capability system with hidden state. Zbl 1262.68031
Pottier, François
1
2013
Proofs for free. Parametricity for dependent types. Zbl 1271.68076
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
12
2012
The impact of higher-order state and control effects on local relational reasoning. Zbl 1252.68187
Dreyer, Derek; Neis, Georg; Birkedal, Lars
8
2012
Pure type system conversion is always typable. Zbl 1271.68080
Siles, Vincent; Herbelin, Hugo
3
2012
Generic top-down discrimination for sorting and partitioning in linear time. Zbl 1311.68046
Henglein, Fritz
1
2012
MRI: modular reasoning about interference in incremental programming. Zbl 1267.68090
Oliveira, Bruno C. D. S.; Schrijvers, Tom; Cook, William R.
1
2012
A compiled implementation of normalisation by evaluation. Zbl 1248.68130
Aehlig, Klaus; Haftmann, Florian; Nipkow, Tobias
1
2012
Semantic subtyping with an SMT solver. Zbl 1248.68131
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David
1
2012
Lazy tree splitting. Zbl 1252.68061
Bergstrom, Lars; Fluet, Matthew; Rainey, Mike; Reppy, John; Shaw, Adam
1
2012
Systematic abstraction of abstract machines. Zbl 1252.68123
Van Horn, David; Might, Matthew
1
2012
OutsideIn(X): modular type inference with local assumptions. Zbl 1262.68034
Vytiniotis, Dimitrios; Jones, Simon Peyton; Schrijvers, Tom; Sulzmann, Martin
6
2011
Purely functional lazy nondeterministic programming. Zbl 1262.68032
Fischer, Sebastian; Kiselyov, Oleg; Shan, Chung-Chieh
5
2011
Structural recursion with locally scoped names. Zbl 1271.68079
Pitts, Andrew M.
4
2011
Shifting the stage. Staging with delimited control. Zbl 1248.68132
Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh
3
2011
Non-parametric parametricity. Zbl 1262.68026
Neis, Georg; Dreyer, Derek; Rossberg, Andreas
2
2011
Balancing weight-balanced trees. Zbl 1216.68072
Hirai, Yoichi; Yamamoto, Kazuhiko
1
2011
The Soccer-Fun project. Zbl 1220.68042
Achten, Peter
1
2011
Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044
Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo
1
2011
Short note: Strict unwraps make worker/wrapper fusion totally correct. Zbl 1221.68055
Gammie, Peter
1
2011
Embedding an interpreted language using higher-order functions and types. Zbl 1248.68135
Ramsey, Norman
1
2011
Linear type theory for asynchronous session types. Zbl 1185.68194
Gay, Simon J.; Vasconcelos, Vasco T.
34
2010
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
15
2010
Concrete stream calculus: an extended study. Zbl 1221.68072
Hinze, Ralf
5
2010
The arrow calculus. Zbl 1185.68199
Lindley, Sam; Wadler, Philip; Yallop, Jeremy
4
2010
...and 312 more Documents
all top 5

Cited by 1,911 Authors

17 Kamareddine, Fairouz D.
17 Yoshida, Nobuko
15 Birkedal, Lars
14 Danvy, Olivier
14 Kesner, Delia
14 Lucas, Salvador
13 Abel, Andreas M.
13 Ghani, Neil
13 Kiselyov, Oleg
13 Schmidt-Schauß, Manfred
12 Pientka, Brigitte
11 Ayala-Rincón, Mauricio
11 Hinze, Ralf
11 Pfenning, Frank
10 Atkey, Robert
10 Dezani-Ciancaglini, Mariangiola
10 Fernández, Maribel
10 Goncharov, Sergeĭ Savost’yanovich
10 Nipkow, Tobias
10 Sabel, David
10 Schrijvers, Tom
10 Schröder, Lutz
10 Talcott, Carolyn L.
10 Uustalu, Tarmo
10 Wadler, Philip Lee
10 Zucca, Elena
9 Alpuente, María
9 Harper, Robert
9 McBride, Conor Thomas
9 Shan, Chung-chieh
9 Swierstra, Wouter
9 Thiemann, Peter J.
8 Geuvers, Jan Herman
8 Ghelli, Giorgio
8 Gibbons, Jeremy
8 Hanus, Michael
8 Liquori, Luigi
8 Matthes, Ralph
8 Meseguer Guaita, José
8 Peyton Jones, Simon L.
8 Stump, Aaron
8 Voigtlander, Janis
7 Altenkirch, Thorsten
7 Ancona, Davide
7 Barthe, Gilles
7 Bizjak, Aleš
7 Curien, Pierre-Louis
7 Dal Lago, Ugo
7 Fujita, Ken-etsu
7 Gordon, Andrew D.
7 Hamana, Makoto
7 Hutton, Graham
7 Lescanne, Pierre
7 Mackie, Ian
7 Manzonetto, Giulio
7 Møgelberg, Rasmus Ejlers
7 Myreen, Magnus O.
7 Nederpelt, Rob
7 Oliveira, Bruno C.d. S.
7 Pérez, Jorge A.
7 Pitts, Andrew M.
7 Pym, David J.
7 Sabry, Amr
7 Vidal, Germán
7 Weirich, Stephanie
6 Antoy, Sergio
6 Ariola, Zena M.
6 Barbanera, Franco
6 Barendregt, Hendrik Pieter
6 Blanqui, Frédéric
6 Bonelli, Eduardo
6 Bucciarelli, Antonio
6 Cheney, James
6 Coquand, Thierry
6 Cavalcanti de Moura, Flávio Leonardo
6 Di Cosmo, Roberto
6 Florido, Mário
6 Herbelin, Hugo
6 Jansson, Patrik
6 Jay, C. Barry
6 Jeuring, Johan
6 Johann, Patricia
6 Kameyama, Yukiyoshi
6 Kirchner, Claude
6 Klop, Jan Willem
6 Leroy, Xavier
6 Licata, Daniel R.
6 Lindley, Sam
6 Lochbihler, Andreas
6 Momigliano, Alberto
6 Nordvall Forsberg, Fredrik
6 Norrish, Michael
6 Owens, Scott
6 Pierce, Benjamin C.
6 Polonsky, Andrew
6 Roşu, Grigore
6 Smolka, Gert
6 Staton, Sam
6 van Bakel, Steffen
6 Zeilberger, Noam
...and 1,811 more Authors
all top 5

Cited in 116 Journals

201 Journal of Functional Programming
163 Theoretical Computer Science
88 Information and Computation
63 MSCS. Mathematical Structures in Computer Science
62 Journal of Automated Reasoning
61 Logical Methods in Computer Science
58 Higher-Order and Symbolic Computation
29 Science of Computer Programming
29 Journal of Logical and Algebraic Methods in Programming
26 Annals of Pure and Applied Logic
25 The Journal of Logic and Algebraic Programming
21 Information Processing Letters
16 Theory and Practice of Logic Programming
15 Acta Informatica
15 Formal Aspects of Computing
12 Journal of Applied Logic
11 Journal of Symbolic Computation
9 Theory of Computing Systems
8 RAIRO. Theoretical Informatics and Applications
8 Computer Languages, Systems & Structures
7 New Generation Computing
6 The Journal of Symbolic Logic
6 Archive for Mathematical Logic
5 Journal of Computer and System Sciences
5 Journal of Pure and Applied Algebra
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 Journal of Logic, Language and Information
4 Applied Categorical Structures
4 Fundamenta Informaticae
4 ACM Transactions on Computational Logic
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 Formal Methods in System Design
3 Journal of Applied Non-Classical Logics
3 The Electronic Journal of Combinatorics
3 Constraints
3 RAIRO. Theoretical Informatics and Applications
2 Discrete Applied Mathematics
2 Advances in Mathematics
2 Information Sciences
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
2 Science China. Information Sciences
1 Artificial Intelligence
1 Computer Physics Communications
1 International Journal of Mathematical Education in Science and Technology
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 Fuzzy Sets and Systems
1 Kodai Mathematical Journal
1 Mathematics and Computers in Simulation
1 Notre Dame Journal of Formal Logic
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Synthese
1 European Journal of Combinatorics
1 History and Philosophy of Logic
1 Discrete & Computational Geometry
1 Journal of Cryptology
1 Multidimensional Systems and Signal Processing
1 Real-Time Systems
1 SIAM Review
1 Celestial Mechanics and Dynamical Astronomy
1 Cybernetics and Systems Analysis
1 Applied and Computational Harmonic Analysis
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
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 LMS Journal of Computation and Mathematics
1 Logic and Logical Philosophy
1 Journal of Applied Mathematics
1 Sādhanā
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Journal of Multiple-Valued Logic and Soft Computing
1 International Journal of Parallel, Emergent and Distributed Systems
1 New Mathematics and Natural Computation
...and 16 more Journals
all top 5

Cited in 41 Fields

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

Citations by Year