Sciweavers

8141 search results - page 56 / 1629

» Higher Order Generalization

31

RTA
1998
Springer

68views Theoretical Computer Science» more RTA 1998»

Higher-Order Rewriting and Partial Evaluation

14 years 3 months ago

Higher-Order Rewriting and Partial Evaluation

Download www.brics.dk

Olivier Danvy, Kristoffer Høgsbro Rose

claim paper

Read More »

26

ICPP
1997
IEEE

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

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

14 years 3 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 »

36

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

14 years 3 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

27

TPHOL
1997
IEEE

107views Automated Reasoning» more TPHOL 1997»

Type Classes and Overloading in Higher-Order Logic

14 years 3 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 »

65

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

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

14 years 3 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 »