Sciweavers

8141 search results - page 56 / 1629

» Higher Order Generalization

74

Voted

RTA
1998
Springer

68views Theoretical Computer Science» more RTA 1998»

Higher-Order Rewriting and Partial Evaluation

15 years 4 months ago

Higher-Order Rewriting and Partial Evaluation

Download www.brics.dk

Olivier Danvy, Kristoffer Høgsbro Rose

claim paper

Read More »

75

ICPP
1997
IEEE

99views Distributed And Parallel Com...» more ICPP 1997»

Performance and Implementation Aspects of Higher Order Head-of-Line Blocking Switch Boxes

15 years 4 months ago

Performance and Implementation Aspects of Higher Order Head-of-Line Blocking Switch Boxes

Download www.cs.missouri.edu

Michael Jurczyk

claim paper

Read More »

93

Voted

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 4 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

84

Voted

TPHOL
1997
IEEE

107views Automated Reasoning» more TPHOL 1997»

Type Classes and Overloading in Higher-Order Logic

15 years 4 months ago

Type Classes and Overloading in Higher-Order Logic

Download www4.in.tum.de

Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...

Markus Wenzel

claim paper

Read More »

165

Voted

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

Nuprl-Light: An Implementation Framework for Higher-Order Logics

15 years 4 months ago

Nuprl-Light: An Implementation Framework for Higher-Order Logics

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »

« Prev « First page 56 / 1629 Last » Next »