| #Cited
| |
| 161
|
PolyP - a polytypic programming language extension
- POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- 1997
|
| 86
|
Polytypic Programming
- 2nd Int. School on Advanced Functional Programming
- 1996
|
| 81
|
Generic programming: An introduction
- 3rd International Summer School on Advanced Functional Programming
- 1999
|
| 67
|
Dependency-style Generic Haskell
-
- 2003
|
| 63
|
Generic Haskell: practice and theory
- In Generic Programming, Advanced Lectures, volume 2793 of LNCS
- 2003
|
| 53
|
Type-Indexed Data Types
-
- 2001
|
| 46
|
Merging Monads and Folds for Functional Programming
- In Advanced Functional Programming, LNCS 925
- 1995
|
| 31
|
The Generic HASKELL User's Guide
-
- 2001
|
| 28
|
Polytypic Pattern Matching
- In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture
- 1995
|
| 28
|
Generic Haskell: applications
- In Generic Programming, Advanced Lectures, volume 2793 of LNCS
- 2003
|
| 23
|
Polytypic Data Conversion Programs
- Science of Computer Programming
- 2001
|
| 20
|
Generic views on data types
- In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC’06, volume 4014 of LNCS
- 2006
|
| 19
|
Polytypic Compact Printing and Parsing
-
- 1999
|
| 15
|
Typed contracts for functional programming
- In FLOPS ’06: Functional and Logic Programming: 8th International Symposium
- 2006
|
| 15
|
Scripting XML with Generic Haskell
-
- 2003
|
| 15
|
Proxima - A presentation-oriented editor for structured documents
-
- 2004
|
| 13
|
Functional Pearls: Polytypic Unification
-
- 1998
|
| 13
|
A framework for polytypic programming on terms, with an application to rewriting
- Workshop on Generic Programming
- 2000
|
| 12
|
Specifying strategies for exercises
- Suzuki & F. Wiedijk, eds, ‘AISC/Calculemus/MKM 2008’, LNAI 5144, SpringerVerlag
- 2008
|
| 12
|
UUXML: A Type-Preserving XML Schema-Haskell Data Binding
- In International Symposium on Practical Aspects of Declarative Languages (PADL’04), volume 3057 of LNCS
- 2004
|
| 11
|
A Lightweight Approach to Datatype-Generic Rewriting
-
- 2008
|
| 11
|
Algorithms from Theorems
- Programming Concepts and Methods
- 1990
|
| 11
|
Inferring Type Isomorphisms Generically
- Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS
|
| 10
|
Comparing approaches to generic programming in Haskell
- ICS, Utrecht University
- 2006
|
| 10
|
A Translation from Attribute Grammars to Catamorphisms
-
- 1994
|
| 9
|
Feedback in an interactive equation solver
- Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006
- 2006
|
| 8
|
Ontology Based Feedback Generation in Design-Oriented Learning Systems
- Proceedings of the IADIS International conference, e-Society, volume II
- 2004
|
| 8
|
The Generic Haskell User's Guide - Version 1.42 - Coral release
-
- 2005
|
| 8
|
Feedback Services for Exercise Assistants
-
- 2008
|
| 7
|
Recognizing Strategies
-
- 2008
|
| 7
|
Bottom-up Grammar Analysis - A Functional Formulation
- Proceedings Programming Languages and SystemsESOP '94
- 1994
|
| 7
|
Generic Programming for XML Tools
- Utrecht University
- 2002
|
| 7
|
Constructing Functional Programs for Grammar Analysis Problems
- In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture
- 1995
|
| 6
|
Specifying Rewrite Strategies for Interactive Exercises
-
|
| 5
|
Functional Pearl: Weaving a Web
-
- 2001
|
| 4
|
The Derivation of a Hierarchy of Algorithms for Pattern Matching on Arrays
- Proceedings ATABLE-92, Second international workshop on array structures
- 1992
|
| 4
|
PolyLib - a library of polytypic functions
- In Workshop on Generic Programming (WGP'98), Marstrand
- 1998
|
| 2
|
Improving Type-Error Messages in Functional Languages
-
- 2002
|
| 2
|
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments
-
|
| 1
|
The NetherlandsOptimizing Generics Is Easy!
-
- 2009
|
| 1
|
A generic framework for developing exercise assistants
- In The 8th International Conference on Information Technology Based Higher Education and Training, ITHET’07
- 2007
|
| 1
|
Report on the Tenth ICFP Programming Contest
-
- 2007
|
| 1
|
Strategy feedback in an e-learning tool for mathematical exercises
- Utrecht University
- 2007
|
| 1
|
Generating generic functions
- In WGP ’06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
- 2006
|
| 1
|
Incremental Data Compression (Extended Abstract)
-
|
| 1
|
Type inference for generic Haskell
-
- 2005
|
|
|
Contents
-
- 2005
|
|
|
3508 TB Utrecht The NetherlandsAn Interactive Exercise Player for Math-Bridge
-
|
|
|
Weaving a Web
-
|
|
|
and
-
|
|
|
Generic Programming
-
|
|
|
Customizing an XML–Haskell data binding with type isomorphism inference in Generic Haskell
-
|
|
|
Contents Acknowledgements v
-
- 1965
|
|
|
Contents
-
|
|
|
Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming
-
|
|
|
Polytypic Unification
-
- 1993
|
|
|
A Lightweight Approach to Datatype-Generic Rewriting
-
|
|
|
Assessment of Programming Exercises
-
- 2009
|
|
|
Pure Type Systems for Functional Programming (Extended Abstract)
-
|
|
|
The Web (Functional Pearl)
-
- 2001
|
|
|
Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding
-
- 2005
|
|
|
Advanced Programming Concepts in a Course on Grammars and Parsing
-
- 1999
|
|
|
inference in Generic Haskell
-
|
|
|
A Translation from Attribute Grammars to
-
- 1990
|
|
|
www.cs.uu.nl Scripting XML with Generic Haskell
-
- 2003
|
|
|
The Generic HASKELL User's Guide - Version 0.99 - Amber release
-
- 2001
|
|
|
The Generic H A SKELL Team
-
- 2006
|
|
|
Advanced Functional Programming Examination Problem
-
- 1996
|
|
|
Chapter 2 Comparing Approaches to Generic Programming in Haskell
-
|
|
|
Advanced Programming Concepts in a Course on Grammars and Parsing
-
|
|
|
The NetherlandsPull-Ups, Push-Downs, and Passing It Around Exercises in Functional Incrementalization
-
- 2009
|
|
|
Combinators for Layered Software Architectures
-
- 2002
|
|
|
Abstract Generic Views on Data Types
-
|
|
|
-
- 2003
|
|
|
Datatype-Generic Programming 2006
-
|
|
|
A Framework for Polytypic Programming on Terms, With an Application to Rewriting
-
|
|
|
Generic Programming for Software Evolution
-
|
|
|
Generic Programming for Domain Reasoners
-
- 2009
|
|
|
Chapter 1 Generic Programming for Domain Reasoners
-
|
|
|
Revised Lectures
-
|
|
|
Testing properties of generic functions
-
|
|
|
Haskell into a web application – An experience report
-
|
|
|
An interactive tool for manipulating
-
- 2006
|
|
|
1 Introduction Generic Programming for Software Evolution
-
|
|
|
XPREZ: A Declarative Presentation Language for XML
-
- 2003
|
