×

zbMATH — the first resource for mathematics

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: 595 Publications (since 1991)
References Indexed: 299 Publications with 8,511 References.
all top 5

Latest Issues

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)
7, No. 6 (1997)
...and 24 more Volumes
all top 5

Authors

17 Bird, Richard S.
17 Hinze, Ralf
14 Hutton, Graham
9 Weirich, Stephanie
8 Danvy, Olivier
8 Dreyer, Derek R.
8 Findler, Robert Bruce
8 Gibbons, Jeremy
8 Jones, Simon Peyton
8 Pierce, Benjamin C.
7 Abel, Andreas M.
7 Erwig, Martin
7 Harper, Robert
7 McBride, Conor Thomas
6 Barendregt, Hendrik Pieter
6 Morrisett, Greg
6 Wadler, Philip Lee
5 Barthe, Gilles
5 Claessen, Koen
5 Crary, Karl
5 Curtis, Sharon A.
5 Fluet, Matthew T.
5 Gordon, Andrew D.
5 Jansson, Patrik
5 Might, Matthew
5 Okasaki, Chris
5 Palsberg, Jens
5 Sabry, Amr
5 Schrijvers, Tom
5 Swierstra, Wouter
5 VanHorn, David A.
5 Vytiniotis, Dimitrios
4 Acar, Umut A.
4 Ariola, Zena M.
4 Bierman, Gavin M.
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 Kiselyov, Oleg
4 Marlow, Simon
4 Mu, Shin-Cheng
4 Nanevski, Aleksandar
4 Nipkow, Tobias
4 Oliveira, Bruno C.d. S.
4 Owens, Scott
4 Paterson, Ross A.
4 Runciman, Colin
4 Thiemann, Peter J.
4 Wakeling, David
3 Abadi, Martín
3 Achten, Peter
3 Altenkirch, Thorsten
3 Atkey, Robert
3 Benton, Nick
3 Bernardy, Jean-Philippe
3 Birkedal, Lars
3 Breitner, Joachim
3 Cockx, Jesper
3 Coquand, Thierry
3 Curien, Pierre-Louis
3 Dagand, Pierre-Evariste
3 Devriese, Dominique
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 Krishnamurthi, Shriram
3 Leroy, Xavier
3 Lescanne, Pierre
3 Lindley, Sam
3 Mairson, Harry George
3 Maranget, Luc
3 Moggi, Eugenio
3 Pientka, Brigitte
3 Pottier, François
3 Pretnar, Matija
3 Rainey, Mike
3 Reppy, John H.
3 Rossberg, Andreas
3 Serrano, Manuel
3 Sewell, Peter
3 Shan, Chung-chieh
3 Sheeran, Mary
3 Sperber, Michael
3 Stuckey, Peter James
3 Sulzmann, Martin
3 Tanter, Éric
3 Tolmach, Andrew
3 Trinder, Phil W.
3 Wand, Mitchell
...and 657 more Authors

Publications by Year

Citations contained in zbMATH Open

381 Publications have been cited 2,200 times in 1,470 Documents Cited by Year
Special issue: Haskell 98 language and librairies. The revised report. Zbl 1067.68041
Peyton Jones, Simon (ed.)
106
2003
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
93
1991
Applicative programming with effects. Zbl 1128.68020
McBride, Conor; Paterson, Ross
40
2008
The Zipper. Zbl 0893.68014
Huet, Gérard
35
1997
Classical logic, continuation semantics and abstract machines. Zbl 0928.68074
Streicher, Th.; Reus, B.
28
1998
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
27
1991
The view from the left. Zbl 1069.68539
McBride, Conor; McKinna, James
27
2004
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
Linear type theory for asynchronous session types. Zbl 1185.68194
Gay, Simon J.; Vasconcelos, Vasco T.
25
2010
Deriving a lazy abstract machine. Zbl 0881.68049
Sestoft, Peter
24
1997
Setoids in type theory. Zbl 1060.03030
Barthe, Gilles; Capretta, Venanzio; Pons, Olivier
24
2003
\(\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
23
1996
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
22
1992
Efficient self-interpretation in lambda calculus. Zbl 0817.68051
Mogensen, Torben Æ.
21
1992
Equivalence in functional languages with effects. Zbl 0941.68540
Mason, Ian; Talcott, Carolyn
21
1991
de Bruijn notation as a nested datatype. Zbl 0926.68025
Bird, Richard S.; Paterson, Ross
20
1999
The call-by-need lambda calculus. Zbl 0887.68007
Ariola, Zena M.; Felleisen, Matthias
20
1997
Computational types from a logical perspective. Zbl 0920.03023
Benton, P. N.; Bierman, G. M.; de Paiva, V. C. V.
19
1998
Higher-order narrowing with definitional trees. Zbl 0926.68028
Hanus, Michael; Prehofer, Christian
19
1999
Correspondence assertions for process synchronization in concurrent communications. Zbl 1077.68605
Bonelli, Eduardo; Compagnoni, Andriana; Gunter, Elsa
18
2005
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
18
1992
Errata to: “Stack-based typed assembly language”. Zbl 1110.68361
Morrisett, Greg; Crary, Karl; Glew, Neal; Walker, David
17
2003
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. Zbl 1159.68389
Peyton Jones, Simon L.
16
1992
Simple type-theoretic foundations for object-oriented programming. Zbl 0817.68052
Pierce, Benjamin C.; Turner, David N.
16
1994
The virtues of eta-expansion. Zbl 0833.68072
Jay, C. Barry; Ghani, Neil
16
1995
Propositions as sessions. Zbl 1307.68025
Wadler, Philip
16
2014
Algorithms with polynomial interpretation termination proof. Zbl 0987.68042
Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H.
15
2001
The expressive power of higher-order types or, life without CONS. Zbl 0988.68046
Jones, Neil D.
15
2001
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
15
1998
Regular-expression derivatives re-examined. Zbl 1163.68317
Owens, Scott; Reppy, John; Turon, Aaron
14
2009
Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059
Brady, Edwin
14
2013
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
14
2010
Enumerating the rationals. Zbl 1103.68444
Gibbons, Jeremy; Lester, David; Bird, Richard
14
2006
A positive supercompiler. Zbl 0870.68040
Sørensen, M. H.; Glück, R.; Jones, N. D.
14
1996
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
A semantic basis for Quest. Zbl 0941.68528
Cardelli, Luca; Longo, Giuseppe
14
1991
Indexed containers. Zbl 1420.68032
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter
13
2015
Practical type inference for arbitrary-rank types. Zbl 1107.68030
Jones, Simon Peyton; Vytiniotis, Dimitrios; Weirich, Stephanie; Shields, Mark
12
2007
Hoare type theory, polymorphism and separation. Zbl 1155.68354
Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars
12
2008
Counting and generating lambda terms. Zbl 1311.68045
Grygiel, Katarzyna; Lescanne, Pierre
12
2013
Mechanizing metatheory in a logical framework. Zbl 1125.68029
Harper, Robert; Licata, Daniel R.
12
2007
On characterizations of the basic feasible functionals. I. Zbl 0992.68020
Irwin, Robert J.; Royer, James S.; Kapron, Bruce M.
12
2001
Parameterised notions of computation. Zbl 1191.68156
Atkey, Robert
12
2009
Modularity of strong normalization in the algebraic-\(\lambda\)-cube. Zbl 0918.03010
Barbanera, Franco; Fernández, Maribel; Geuvers, Herman
12
1997
A coherence theorem for Martin-Löf’s type theory. Zbl 0917.03028
Hedberg, Michael
12
1998
On bunched typing. Zbl 1056.03013
O’Hearn, Peter
12
2003
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
11
2009
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158
Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh
11
2009
HOLCF=HOL+LCF. Zbl 0933.03028
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar
11
1999
Categorical semantics for arrows. Zbl 1191.68406
Jacobs, Bart; Heunen, Chris; Hasuo, Ichiro
11
2009
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
Dynamic typing in polymorphic languages. Zbl 0819.68142
Abadi, Martin; Cardelli, Luca; Pierce, B.; Rémy, D.
11
1995
Domain-free pure type systems. Zbl 0979.03013
Barthe, Gilles; Sørensen, Morten Heine
11
2000
Parallel functional programming in Eden. Zbl 1096.68018
Loogen, Rita; Ortega-Mallén, Yolanda; Peña-Marí, Ricardo
11
2005
Proofs for free. Parametricity for dependent types. Zbl 1271.68076
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
11
2012
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Data types à la carte. Zbl 1153.68015
Swierstra, Wouter
10
2008
Stack-based access control and secure information flow. Zbl 1077.68569
Banerjee, Anindya; Naumann, David A.
10
2005
Monadic parsing in Haskell. Zbl 0917.68039
Hutton, Graham; Meijer, Erik
10
1998
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
A partial evaluator for the untyped lambda-calculus. Zbl 1155.68350
Gomard, Carsten K.; Jones, Neil D.
10
1991
DrScheme: A programming environment for scheme. Zbl 0987.68610
Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
10
2002
Verification of non-functional programs using interpretations in type theory. Zbl 1111.68389
Filliâtre, Jean-Christophe
10
2003
Probabilistic functional programming in Haskell. Zbl 1091.68023
Erwig, Martin; Kollmansberger, Steve
10
2006
Regular expression pattern matching for XML. Zbl 1093.68556
Hosoya, Haruo; Pierce, Benjamin C.
9
2003
Consistency of the theory of contexts. Zbl 1092.68022
Bucalo, Anna; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan; Hoffman, Martin
9
2006
Secrets of the Glasgow Haskell Compiler inliner. Zbl 1037.68042
Jones, Simon Peyton; Marlow, Simon
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
Type inference with simple subtypes. Zbl 0941.68541
Mitchell, John C.
9
1991
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
9
2000
The lambda calculus is algebraic. Zbl 1040.68023
Selinger, Peter
9
2002
Intensional polymorphism in type-erasure semantics. Zbl 1040.68059
Crary, Karl; Weirich, Stephanie; Morrisett, Greg
9
2002
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
A monadic framework for delimited continuations. Zbl 1130.68038
Dyvbig, R. Kent; Jones, Simon Peyton; Sabry, Amr
9
2007
Composition of functions with accumulating parameters. Zbl 1092.68557
Voigtländer, Janis; Kühnemann, Armin
8
2004
Generalizing generalized tries. Zbl 0965.68016
Hinze, Ralf
8
2000
The semantics of future and an application. Zbl 0926.68075
Flanagan, C.; Felleisen, M.
8
1999
The Bologna optimal higher-order machine. Zbl 0876.68018
Asperti, Andrea; Giovannetti, Cecilia; Naletto, Andrea
8
1996
\(A\)-translation and looping combinators in pure type systems. Zbl 0817.03007
Coquand, Thierry; Herbelin, Hugo
8
1994
Higher-order functions for parsing. Zbl 0817.68097
Hutton, Graham
8
1992
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
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
8
1991
A tutorial on the universality and expressiveness of fold. Zbl 0948.68036
Hutton, Graham
8
1999
A predicative analysis of structural recursion. Zbl 0998.68027
Abel, Andreas; Altenkirch, Thorsten
8
2002
Recursive subtyping revealed. Zbl 1025.68017
Gapeyev, Vladimir; Levin, Michael Y.; Pierce, Benjamin C.
8
2002
Grammatical framework. A type-theoretical grammar formalism. Zbl 1085.68026
Ranta, Aarne
8
2004
The impact of higher-order state and control effects on local relational reasoning. Zbl 1252.68187
Dreyer, Derek; Neis, Georg; Birkedal, Lars
8
2012
Algebra of programming in Agda: dependent types for relational program derivation. Zbl 1191.68195
Mu, Shin-Cheng; Ko, Hsiang-Shang; Jansson, Patrik
7
2009
A system of constructor classes: Overloading and implicit higher-order polymorphism. Zbl 0819.68027
Jones, Mark P.
7
1995
A calculus of module systems. Zbl 0994.68033
Ancona, Davide; Zucca, Elena
7
2002
Finger trees: a simple general-purpose data structure. Zbl 1088.68041
Hinze, Ralf; Paterson, Ross
7
2006
Staged computation with names and necessity. Zbl 1085.68025
Nanevski, Aleksandar; Pfenning, Frank
7
2005
F-ing modules. Zbl 1322.68048
Rossberg, Andreas; Russo, Claudio; Dreyer, Derek
7
2014
Counting and generating terms in the binary lambda calculus. Zbl 1419.68039
Grygiel, Katarzyna; Lescanne, Pierre
7
2015
Types and trace effects of higher order programs. Zbl 1142.68020
Skalka, Christian; Smith, Scott; van Horn, David
6
2008
Safety of Nöcker’s strictness analysis. Zbl 1153.68012
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko
6
2008
Local algebraic effect theories. Zbl 07245567
Lukšič, Žiga; Pretnar, Matija
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
The verified CakeML compiler backend. Zbl 07135421
Kiam Tan, Yong; Myreen, Magnus O.; Kumar, Ramana; Fox, Anthony; Owens, Scott; Norrish, Michael
2
2019
Constructive Galois connections. Zbl 07135418
Darais, David; Van Horn, David
1
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
1
2019
Iris from the ground up: a modular foundation for higher-order concurrent separation logic. Zbl 07027030
Jung, Ralf; Krebbers, Robbert; Jourdan, Jacques-Henri; Bizjak, Aleš; Birkedal, Lars; Dreyer, Derek
6
2018
Foundations of dependent interoperability. Zbl 06913641
Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric
1
2018
An extended account of contract monitoring strategies as patterns of communication. Zbl 06913643
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam
1
2018
The adequacy of Launchbury’s natural semantics for lazy evaluation. Zbl 06913649
Breitner, Joachim
1
2018
Abstract allocation as a unified approach to polyvariance in control-flow analyses. Zbl 07027029
Gilray, Thomas; Adams, Michael D.; Might, Matthew
1
2018
A simple library implementation of binary sessions. Zbl 1418.68036
Padovani, Luca
5
2017
No value restriction is needed for algebraic effects and handlers. Zbl 1418.68034
Kammar, Ohad; Pretnar, Matija
2
2017
Algebraic data integration. Zbl 06913638
Schultz, Patrick; Wisnesky, Ryan
1
2017
An algebra for distributed Big Data analytics. Zbl 06913640
Fegaras, Leonidas
1
2017
Quick specifications for the busy programmer. Zbl 1418.68037
Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian
1
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
Normal-order reduction grammars. Zbl 1418.68111
Bendkowski, Maciej
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
The calculus of dependent lambda eliminations. Zbl 1418.68038
Stump, Aaron
1
2017
Editorial: Special issue on programming with dependent types. Zbl 1418.68006
Swierstra, Wouter; Dybjer, Peter
1
2017
Well-founded recursion with copatterns and sized types. Zbl 1420.68031
Abel, Andreas; Pientka, Brigitte
5
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
2
2016
Transparent fault tolerance for scalable functional computation. Zbl 1420.68026
Stewart, Robert; Maier, Patrick; Trinder, Phil
2
2016
Composable scheduler activations for Haskell. Zbl 1420.68057
Sivaramakrishnan, K. C.; Harris, Tim; Marlow, Simon; Peyton Jones, Simon
1
2016
A characterization of lambda-terms transforming numerals. Zbl 1420.68042
Parys, Paweł
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
Homotopical patch theory. Zbl 1420.68060
Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert
1
2016
Indexed containers. Zbl 1420.68032
Altenkirch, Thorsten; Ghani, Neil; Hancock, Peter; Mcbride, Conor; Morris, Peter
13
2015
Counting and generating terms in the binary lambda calculus. Zbl 1419.68039
Grygiel, Katarzyna; Lescanne, Pierre
7
2015
Calculating correct compilers. Zbl 1420.68053
Bahr, Patrick; Hutton, Graham
3
2015
Mtac: a monad for typed tactic programming in Coq. Zbl 1420.68189
Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
2
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
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
16
2014
F-ing modules. Zbl 1322.68048
Rossberg, Andreas; Russo, Claudio; Dreyer, Derek
7
2014
Proof-producing translation of higher-order logic into pure and stateful ML. Zbl 1297.68053
Myreen, Magnus O.; Owens, Scott
6
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
Elaborating intersection and union types. Zbl 1297.68049
Dunfield, Joshua
2
2014
Book review of: J. van Eijck and C. Unger, Computational semantics with functional programming. Zbl 1305.00056
Orchard, Dominic
1
2014
On the complexity of stream equality. Zbl 1297.68050
Endrullis, Jörg; Hendriks, Dimitri; Bakhshi, Rena; Roşu, Grigore
1
2014
Transporting functions across ornaments. Zbl 1297.68047
Dagand, Pierre-Évariste; McBride, Conor
1
2014
Idris, a general-purpose dependently typed programming language: design and implementation. Zbl 1295.68059
Brady, Edwin
14
2013
Counting and generating lambda terms. Zbl 1311.68045
Grygiel, Katarzyna; Lescanne, Pierre
12
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
4
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
11
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
2
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
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
4
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
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.
25
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
14
2010
Concrete stream calculus: an extended study. Zbl 1221.68072
Hinze, Ralf
4
2010
The arrow calculus. Zbl 1185.68199
Lindley, Sam; Wadler, Philip; Yallop, Jeremy
4
2010
Lightweight checkpointing for concurrent ML. Zbl 1214.68122
Ziarek, Lukasz; Jagannathan, Suresh
2
2010
Parametricity, type equality, and higher-order polymorphism. Zbl 1209.68109
Vytiniotis, Dimitrios; Weirich, Stephanie
2
2010
Factorising folds for faster functions. Zbl 1210.68047
Hutton, Graham; Jaskelioff, Mauro; Gill, Andy
2
2010
Implicitly threaded parallelism in Manticore. Zbl 1221.68061
Fluet, Matthew; Rainey, Mike; Reppy, John; Shaw, Adam
1
2010
A lightweight approach to datatype-generic rewriting. Zbl 1214.68189
Van Noort, Thomas; Yakushev, Alexey Rodriguez; Holdermans, Stefan; Jeuring, Johan; Heeren, Bastiaan; Magalhães, José Pedro
1
2010
Regular-expression derivatives re-examined. Zbl 1163.68317
Owens, Scott; Reppy, John; Turon, Aaron
14
2009
Parameterised notions of computation. Zbl 1191.68156
Atkey, Robert
12
2009
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
11
2009
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158
Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh
11
2009
Categorical semantics for arrows. Zbl 1191.68406
Jacobs, Bart; Heunen, Chris; Hasuo, Ichiro
11
2009
Algebra of programming in Agda: dependent types for relational program derivation. Zbl 1191.68195
Mu, Shin-Cheng; Ko, Hsiang-Shang; Jansson, Patrik
7
2009
Gabriel-Ulmer duality and Lawvere theories enriched over a general base. Zbl 1191.68163
Lack, Stephen; Power, John
6
2009
The worker/wrapper transformation. Zbl 1178.68135
Gill, Andy; Hutton, Graham
5
2009
Big-step normalisation. Zbl 1191.68153
Altenkirch, Thorsten; Chapman, James
5
2009
The Bird tree. Zbl 1191.68161
Hinze, Ralf
4
2009
The \(\lambda \)-calculus with constructors: syntax, confluence and separation. Zbl 1191.68155
Arbiser, Ariel; Miquel, Alexandre; Ríos, Alejandro
4
2009
Revised\(^{6}\) report on the algorithmic language scheme. Zbl 1185.68145
Sperber, Michael; Dybvig, R. Kent; Flatt, Matthew; van Straaten, Anton; Findler, Robby; Matthews, Jacob
4
2009
Monadic constraint programming. Zbl 1184.68166
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip
4
2009
The essence of the ITERATOR pattern. Zbl 1191.68160
Gibbons, Jeremy; Oliveira, Bruno C.d. S.
4
2009
An induction principle for nested datatypes in intensional type theory. Zbl 1191.68164
Matthes, Ralph
4
2009
Small-step and big-step semantics for call-by-need. Zbl 1184.68164
Nakata, Keiko; Hasegawa, Masahito
3
2009
From natural semantics to C: a formal derivation of two STG machines. Zbl 1159.68005
de la Encina, Alberto; Peña, Ricardo
2
2009
Type-safe pattern combinators. Zbl 1162.68395
Rhiger, Morten
2
2009
Purely functional 1-2 brother trees. Zbl 1191.68162
Hinze, Ralf
2
2009
Algebras for combinatorial search. Zbl 1191.68454
Spivey, J. Michael
2
2009
...and 281 more Documents
all top 5

Cited by 1,765 Authors

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

Cited in 110 Journals

178 Journal of Functional Programming
160 Theoretical Computer Science
87 Information and Computation
60 Journal of Automated Reasoning
59 MSCS. Mathematical Structures in Computer Science
58 Higher-Order and Symbolic Computation
48 Logical Methods in Computer Science
29 Science of Computer Programming
28 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 Formal Aspects of Computing
14 Acta Informatica
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 ACM Transactions on Computational Logic
4 International Journal of Number Theory
3 Computers and Fluids
3 Distributed Computing
3 Applicable Algebra in Engineering, Communication and Computing
3 The Electronic Journal of Combinatorics
3 Fundamenta Informaticae
2 Discrete Applied Mathematics
2 Advances in Mathematics
2 Information Sciences
2 Studia Logica
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 Applied Non-Classical Logics
2 Journal of Mathematical Sciences (New York)
2 Constraints
2 Topoi
2 Annals of Combinatorics
2 Mathematics in Computer Science
2 Logica Universalis
2 Science China. Information Sciences
2 RAIRO. Theoretical Informatics and Applications
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 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 Formal Methods in System Design
1 Applied and Computational Harmonic Analysis
1 Theory and Applications of Categories
1 Journal of Difference Equations and Applications
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 Journal of Applied Mathematics
1 Sādhanā
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 International Journal of Parallel, Emergent and Distributed Systems
1 New Mathematics and Natural Computation
1 Electronic Notes in Theoretical Computer Science
1 Journal of Mathematics and Music
1 Tbilisi Mathematical Journal
1 Journal of Logic and Analysis
...and 10 more Journals
all top 5

Cited in 39 Fields

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

Citations by Year