登入選單
Google圖書搜尋
出版社 : Chalmers Tekniska Högskola/Göteborgs Universitet. Programming Methodology Group總數: gridview
Category Theory and Programming Language Semantics
作者
Peter Dybjer
出版1986
ISBN
OCLC:17679374
主題
Categories (Mathematics)
SMALL
作者
Lennart Augustsson
出版1986
ISBN
OCLC:17810025
主題
Interactive computer systems
Target Code Generation from G-machine Code
作者
Thomas Johnsson
出版1987
ISBN
OCLC:18433817
主題
Computer graphics
Terminating General Recursion
作者
Bengt Nordström
出版1988
ISBN
OCLC:185831971
主題
Recursion theory
Projections for Strictness Analysis
作者
Philip Wadler / R. J. M. Hughes
出版1987
ISBN
OCLC:185763526
主題
Functional programming (Computer science)
Concrete Syntax for Data Objects in Functional Lan...
作者
Annika Aasa / Kent Petersson / Dan Synek
出版1988
ISBN
OCLC:185832170
Categorical Combinators
作者
Herbert P. Sander
出版1987
ISBN
OCLC:18006439
主題
Computer science
Proceedings of the Workshop on Programming Logic
作者
P. Dybjer
出版1987
ISBN
OCLC:897703778
Using Types as Search Keys in Function Libraries
作者
Mikael Rittri / Chalmers tekniska högskola / Programming Methodology Group / Göteborgs universitet
出版1989
ISBN
OCLC:186110471
主題
Functional programming (Computer science)
Functional Compiler Status Report
作者
L. Augustsson
出版1984
ISBN
OCLC:897705771
Efficient Compilation of Lazy Evaluation
作者
Thomas Johnsson
出版1987
ISBN
OCLC:475900554
主題
Computer graphics
Martin-Löf's Type Theory as a Programming Logic
作者
Bengt Nordström
出版1986
ISBN
OCLC:17810009
主題
Mathematics
Hennessy-Milner Logic with Recursion as a Specific...
作者
Sören Holmström
出版1988
ISBN
OCLC:254052174
Lambda-lifting
作者
Thomas Johnsson / Chalmers tekniska högskola / Göteborgs universitet
出版1986
ISBN
OCLC:17679251
主題
Lambda calculus
A Linear Time Process Algebra
作者
Alan Jeffrey / Chalmers tekniska högskola / Göteborgs universitet
出版1991
ISBN
OCLC:185855915
主題
Real-time data processing
Description of a Simple Programming Language
作者
Bengt Nordström
出版1984
ISBN
OCLC:185499801