Вы здесь

Hughes J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Type Specialisation Tutorial 1999 Hughes J. Lecture Notes in Computer Science 15.12.1999
СТ Binding-Time Analysis for Polymorphic Types 2001 Heldal R., Hughes J. Lecture Notes in Computer Science 06.02.2002
СТ Fast Abstract Interpretation Using Sequential Algorithms 1993 Ferguson A., Hughes J. Lecture Notes in Computer Science 11.12.1993
СТ How to Give a Good Research Talk 1993 Jones S.L. P., Hughes J., Launchbury J. SIGPLAN Notices 27.12.1993
СТ Module-Sensitive Program Specialisation 1997 Dussart D., Heldal R., Hughes J. SIGPLAN Notices 09.07.1997
СТ Module-Sensitive Program Specialization 1997 Dussart D., Heldal R., Hughes J. Acta Congressus Hiberni 01.08.1997
СТ 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
СТ Partial Evaluation and Separate Compilation 1997 Heldal R., Hughes J. SIGPLAN Notices 27.01.1998
СТ Pretty-Printing: An Exercise in Functional Programming 1993 Hughes J. Lecture Notes in Computer Science 29.04.1993
СТ Process Modelling and Development Practice 1994 Rodden T., King V., Hughes J., Sommerville I. Lecture Notes in Computer Science 29.03.1994
СТ Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming 1999 Hughes J., Pareto L. SIGPLAN Notices 20.12.1999
СТ Tag Elimination and Jones-Optimality 2001 Taha W., Makholm H., Hughes J. Lecture Notes in Computer Science 24.05.2001
СТ 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
СТ The Correctness of Type Specialisation 2000 Hughes J. Lecture Notes in Computer Science 25.04.2000
СТ The Design of a Pretty-printing Library 1995 Hughes J. Lecture Notes in Computer Science 24.06.1995
СТ Type Specialisation for Imperative Languages 1997 Dussart D., Hughes J., Thiemann P. SIGPLAN Notices 01.10.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