WorldCat Identities

Hughes, John 1958-

Overview
Works: 15 works in 55 publications in 1 language and 676 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA76.7, 005.13
Publication Timeline
.
Most widely held works by John Hughes
Functional programming languages and computer architecture : Nancy, France, September 1985 by John Hughes( Book )

17 editions published between 1985 and 1991 in English and Undetermined and held by 333 WorldCat member libraries worldwide

"This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed."--PUBLISHER'S WEBSITE
Functional programming : proceedings of the 1989 Glasgow workshop, 21-23 August 1989, Fraserburgh, Scotland by Kei Davis( Book )

12 editions published between 1990 and 2001 in English and held by 141 WorldCat member libraries worldwide

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In some universities, a functional programming language is used as the introductory teaching language and computer architectures are being designed and investigated to support functional languages
Programming language concepts and paradigms by David A Watt( Book )

11 editions published between 1990 and 2000 in English and held by 48 WorldCat member libraries worldwide

Software -- Programming Techniques
The design and implementation of programming languages by John Hughes( Book )

2 editions published between 1983 and 1984 in English and held by 7 WorldCat member libraries worldwide

Graph reduction with super-combinators by John Hughes( Book )

2 editions published in 1982 in English and held by 6 WorldCat member libraries worldwide

Higher-order functions as decision trees : taming a space monster by John Hughes( Book )

1 edition published in 1996 in English and held by 4 WorldCat member libraries worldwide

Object-oriented databases by John G Hughes( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

Functional languages : compiler technology and parallelism( Book )

2 editions published in 1992 in English and held by 1 WorldCat member library worldwide

Computing '80 : "the communicating machine"( Book )

1 edition published in 1980 in English and held by 1 WorldCat member library worldwide

Functional programming languages and computer architecture : 5th Conference : Papers( )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 1995 ; tutorial text by International Spring School on Advanced Functional Programming Techniques( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

Functional programming : 2nd Glasgow workshop : Papers( )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Projections for strictness analysis by Philip Wadler( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

Real world instrumentation with Python by John M Hughes( )

1 edition published in 2010 in English and held by 0 WorldCat member libraries worldwide

Learn how to develop your own applications to monitor or control instrumentation hardware. Whether you need to acquire data from a device or automate its functions, this practical book shows you how to use Python's rapid development capabilities to build interfaces that include everything from software to wiring. You get step-by-step instructions, clear examples, and hands-on tips for interfacing a PC to a variety of devices. Use the book's hardware survey to identify the interface type for your particular device, and then follow detailed examples to develop an interface with Python and C. Orga
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang 2002, Pittsburgh, Pennsylvania, October 07-07, 2002 by ACM SIGPLAN Workshop on Erlang( )

1 edition published in 2002 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.44 for Programmin ... to 0.91 for Computing ...)

Functional programming languages and computer architecture : Nancy, France, September 1985
Alternative Names
Hughes, J.

Hughes, J. 1958-

Hughes, J. Ed

Hughes, J. (John), 1958-

Hughes, Robert John Muir 1958-

John Hughes informaticien suédois

John Hughes (professor)

John Hughes Schwedischer Informatiker, Jahrgang 1958

John Hughes Swedish computer scientist

John Hughes Zweeds informaticus

Джон Хьюз

Languages
English (54)

Covers
Programming language concepts and paradigmsAdvanced functional programming : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 1995 ; tutorial text