Year of publication
Type of media
Subject
Type of material
Licence
Language
121–137 of 137 hits
Sort by:
Sort by:
-
Generic Programming within Dependently Typed Programming
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Complete Traversals as General Iteration Patterns
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Adaptive Extensions of Object-Oriented Systems
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
A Generic Algorithm for Minimum Chain Partitioning
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Generic Haskell, Specifically
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Discussion: The Role of Types in Generic Programming
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Making the Usage of STL Safe
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Efficient Implementation of Run-time Generic Types for Java
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Discussion: Views of Genericity
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Concrete Generic Functionals
British Library Conference Proceedings | 2003|Contributors: Gibbons, J. -
Session 7 - Fast and Loose Reasoning is Morally Correct
Online Contents | 2006|Contributors: Gibbons, J. -
Galois Connections and Fixed Point Calculus
British Library Conference Proceedings | 2002|Contributors: Gibbons, J. -
Algebra of Program Termination
British Library Conference Proceedings | 2002|Contributors: Gibbons, J. -
Ordered Sets and Complete Lattices
British Library Conference Proceedings | 2002|Contributors: Gibbons, J.
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.