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.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2002.
Mathematics of Program Construction.
Vol. 2386,
Issue. ,
p.
148.
Abbott, Michael
Altenkirch, Thorsten
Ghani, Neil
and
McBride, Conor
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
16.
Huet, Gérard
2003.
Thirty Five Years of Automating Mathematics.
Vol. 28,
Issue. ,
p.
49.
Huet, Gérard
2003.
Practical Aspects of Declarative Languages.
Vol. 2562,
Issue. ,
p.
17.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
57.
McBride, Conor
and
McKinna, James
2004.
Functional pearl.
p.
1.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2004.
Type-indexed data types.
Science of Computer Programming,
Vol. 51,
Issue. 1-2,
p.
117.
DU BOIS, ANDRÉ RAUBER
TRINDER, PHIL
and
LOIDL, HANS-WOLFGANG
2005.
TOWARDS MOBILITY SKELETONS.
Parallel Processing Letters,
Vol. 15,
Issue. 03,
p.
273.
Visser, Eelco
2005.
A survey of strategies in rule-based program transformation systems.
Journal of Symbolic Computation,
Vol. 40,
Issue. 1,
p.
831.
Salvati, Sylvain
2006.
Term Rewriting and Applications.
Vol. 4098,
Issue. ,
p.
151.
Dixon, Lucas
and
Fleuriot, Jacques
2006.
A proof-centric approach to mathematical assistants.
Journal of Applied Logic,
Vol. 4,
Issue. 4,
p.
505.
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.
Michelbrink, Markus
2006.
Types for Proofs and Programs.
Vol. 3839,
Issue. ,
p.
215.
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.
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.
Ren, Deling
and
Erwig, Martin
2006.
A generic recursion toolbox for Haskell or.
p.
13.
Filliâtre, Jean-Christophe
2006.
Backtracking iterators.
p.
55.
Discussions
No Discussions have been published for this article.