The generation of a higher-order online partial evaluator

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
Masato Takeichi (Hrsg.): Fuji International Workshop on Functional and Logic Programming. Singapore: World Scientific. 1995, S. 239-253

Classification
Informatik
Keyword
Softwareentwicklung
Evaluation
Online-Ressource

Event
Veröffentlichung
(where)
Freiburg
(who)
Universität
(when)
1995
Creator

URN
urn:nbn:de:bsz:25-opus-56676
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:48 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Time of origin

  • 1995

Other Objects (12)

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order computability

Higher-order computability

Higher-Order Order-Sorted Resolution

Higher-Order Order-Sorted Resolution

Polarized higher-order subtyping

Hochschulschrift

Polarized higher-order subtyping

Higher-Order Multi-Valued Resolution

Higher-Order Multi-Valued Resolution

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Exploring higher-order risk effects

Arbeitspapier

Exploring higher-order risk effects

Higher-Order Spreadsheets with Spilled Arrays

zweidimensionales bewegtes Bild

Higher-Order Spreadsheets with Spilled Arrays

Event structures with higher-order dynamics

Hochschulschrift

Event structures with higher-order dynamics

Higher-order correlations in complex liquids

Hochschulschrift

Higher-order correlations in complex liquids

Henkin Completeness of Higher-Order Resolution

Henkin Completeness of Higher-Order Resolution

Higher-order statistics in cosmic shear

Higher-order statistics in cosmic shear

Related objects