Come Back

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Information

You can find it in

Category

Testo

Nature

Periodico

Title

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Names

Association for computing machinery : Special interest group on programming languages

Description

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ... / sponsored by Association for computing machinery, Special interest group on programming languages (SIGPLAN)

Physical description

Ill. ; 28 cm

Note

Periodicità non determinata<br>Descrizione basata su: 2005.

Place of publication

New York

Village

STATI UNITI

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\USM\1626498

Resources links

http://id.sbn.it/bid/USM1626498

Comments

Load others

Write a comment

Send

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Tag

The construction of the missile base in Comiso can be prevented!

The construction of the missile base in Comiso can be prevented!

Proceedings of the ... ACM SIGPLAN workshop on rule-based programming : *RULE ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)

Proceedings of the ... ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : *PEPM ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)

The last vaudevillian : on the road with travelogue filmmaker John Holod

The last vaudevillian : on the road with travelogue filmmaker John Holod

Arrangements and fantasias on the Themes of the Ring by Richard Wagner : for symphonic band

From this moment on

Comments

Sardinia region

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Tag

The construction of the missile base in Comiso can be prevented!

The construction of the missile base in Comiso can be prevented!

Proceedings of the ... ACM SIGPLAN workshop on rule-based programming : *RULE ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)

Proceedings of the ... ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : *PEPM ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)

The last vaudevillian : on the road with travelogue filmmaker John Holod

The last vaudevillian : on the road with travelogue filmmaker John Holod

Arrangements and fantasias on the Themes of the Ring by Richard Wagner : for symphonic band

From this moment on

Comments