СТ |
Testing and Tracing Lazy Functional Programs Using GuickCheck and Hat |
2003 |
Claessen K., Runciman C., Chitil O., Hughes J., Wallace M. |
|
|
|
Lecture Notes in Computer Science |
06.06.2003 |
СТ |
Monads and Effects |
2002 |
Benton N., Hughes J., Moggi E. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
СТ |
Organizational Transition to Object Technology: Theory and Practice |
2002 |
Serour M. K., Henderson-Sellers B., Hughes J., Winder D., Chow L. |
|
|
|
Lecture Notes in Computer Science |
28.09.2002 |
СТ |
Binding-Time Analysis for Polymorphic Types |
2001 |
Heldal R., Hughes J. |
|
|
|
Lecture Notes in Computer Science |
06.02.2002 |
СТ |
Tag Elimination and Jones-Optimality |
2001 |
Taha W., Makholm H., Hughes J. |
|
|
|
Lecture Notes in Computer Science |
24.05.2001 |
СТ |
The Correctness of Type Specialisation |
2000 |
Hughes J. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
СТ |
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming |
1999 |
Hughes J., Pareto L. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
СТ |
A Type Specialisation Tutorial |
1999 |
Hughes J. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
СТ |
Partial Evaluation and Separate Compilation |
1997 |
Heldal R., Hughes J. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
СТ |
Type Specialisation for Imperative Languages |
1997 |
Dussart D., Hughes J., Thiemann P. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
СТ |
Module-Sensitive Program Specialization |
1997 |
Dussart D., Heldal R., Hughes J. |
|
|
|
Acta Congressus Hiberni |
01.08.1997 |
СТ |
Module-Sensitive Program Specialisation |
1997 |
Dussart D., Heldal R., Hughes J. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
СТ |
Type Specialisation for the Lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference |
1996 |
Hughes J. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
СТ |
The Design of a Pretty-printing Library |
1995 |
Hughes J. |
|
|
|
Lecture Notes in Computer Science |
24.06.1995 |
СТ |
Process Modelling and Development Practice |
1994 |
Rodden T., King V., Hughes J., Sommerville I. |
|
|
|
Lecture Notes in Computer Science |
29.03.1994 |
СТ |
How to Give a Good Research Talk |
1993 |
Jones S.L. P., Hughes J., Launchbury J. |
|
|
|
SIGPLAN Notices |
27.12.1993 |
СТ |
Fast Abstract Interpretation Using Sequential Algorithms |
1993 |
Ferguson A., Hughes J. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
СТ |
Pretty-Printing: An Exercise in Functional Programming |
1993 |
Hughes J. |
|
|
|
Lecture Notes in Computer Science |
29.04.1993 |