TAPSOFT '87 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer-Verlag

354017611x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Extensional models for polymorphism

2005 ◽  
pp. 291-307 ◽  
Author(s):  
Val Breazu-Tannen ◽  
Thierry Coquand

scholarly journals Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph

2005 ◽  
pp. 126-139
Author(s):  
C. Percebois ◽  
I. Futó ◽  
I. Durand ◽  
C. Simon ◽  
B. Bonhoure
Keyword(s):  
Simulation Results

scholarly journals Models and equality for logical programming

2005 ◽  
pp. 1-22 ◽  
Author(s):  
Joseph A. Goguen ◽  
José Meseguer
Keyword(s):  
Logical Programming

scholarly journals Generating efficient code from strictness annotations

2005 ◽  
pp. 140-154 ◽  
Author(s):  
Gary Lindstrom ◽  
Lal George ◽  
Dowming Yeh
Keyword(s):  
Efficient Code

scholarly journals Higher order generalization in program derivation

2005 ◽  
pp. 182-196 ◽  
Author(s):  
Alberto Pettorossi ◽  
Andrzej Skowron
Keyword(s):  
Higher Order ◽  
Program Derivation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document