Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Huet, G.
2001.
From an informal textual lexicon to a well-structured lexical database: an experiment in data reverse engineering.
p.
127.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2002.
Mathematics of Program Construction.
Vol. 2386,
Issue. ,
p.
148.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
57.
Abbott, Michael
Altenkirch, Thorsten
Ghani, Neil
and
McBride, Conor
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
16.
Huet, Gérard
2003.
Practical Aspects of Declarative Languages.
Vol. 2562,
Issue. ,
p.
17.
Huet, Gérard
2003.
Thirty Five Years of Automating Mathematics.
Vol. 28,
Issue. ,
p.
49.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2004.
Type-indexed data types.
Science of Computer Programming,
Vol. 51,
Issue. 1-2,
p.
117.
McBride, Conor
and
McKinna, James
2004.
Functional pearl.
p.
1.
Visser, Eelco
2005.
A survey of strategies in rule-based program transformation systems.
Journal of Symbolic Computation,
Vol. 40,
Issue. 1,
p.
831.
DU BOIS, ANDRÉ RAUBER
TRINDER, PHIL
and
LOIDL, HANS-WOLFGANG
2005.
TOWARDS MOBILITY SKELETONS.
Parallel Processing Letters,
Vol. 15,
Issue. 03,
p.
273.
Filliâtre, Jean-Christophe
2006.
Backtracking iterators.
p.
55.
Ramsey, Norman
and
Dias, João
2006.
An Applicative Control-Flow Graph Based on Huet's Zipper.
Electronic Notes in Theoretical Computer Science,
Vol. 148,
Issue. 2,
p.
105.
Salvati, Sylvain
2006.
Term Rewriting and Applications.
Vol. 4098,
Issue. ,
p.
151.
Michelbrink, Markus
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
215.
Dixon, Lucas
and
Fleuriot, Jacques
2006.
A proof-centric approach to mathematical assistants.
Journal of Applied Logic,
Vol. 4,
Issue. 4,
p.
505.
Ren, Deling
and
Erwig, Martin
2006.
A generic recursion toolbox for Haskell or.
p.
13.
Barker, Chris
and
Shan, Chung-chieh
2006.
Types as Graphs: Continuations in Type Logical Grammar.
Journal of Logic, Language and Information,
Vol. 15,
Issue. 4,
p.
331.
McBride, Conor
Goguen, Healfdene
and
McKinna, James
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
186.
Morris, Peter
Altenkirch, Thorsten
and
McBride, Conor
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
252.
Discussions
No Discussions have been published for this article.