Functional computation as concurrent computation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1996, Pages 333-343

  Niehren, Joachim ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DATA STRUCTURES; ESTIMATION; FORMAL LANGUAGES; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; PROGRAMMING THEORY; RECURSIVE FUNCTIONS;

CALL BY NAME MODEL; CALL BY NEED; CALL BY VALUE LAMBDA CALCULUS; CONCURRENT COMPUTATION; FUNCTIONAL COMPUTATION; PI CALCULUS; STRUCTURAL CONGRUENCE;

COMPUTATION THEORY;

EID: 0029714728     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237801     Document Type: Conference Paper

References (39)