scientific article; zbMATH DE number 1942462

zbMath1019.68521MaRDI QIDQ4409164

Mikael Pettersson, Erik P. G. Johansson, Konstantinos Sagonas

Publication date: 30 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2441/24410228.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (1)

HiPE

Uses Software

• Erlang

This page was built for publication: