MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jeremy Wazny" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Type processing by constraint reasoning  
  • by Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny — 2006 — Pages 1–25 of: Proc. of APLAS’06. LNCS
  • …Abstract. Herbrand constraint solving or unification has long been understood as an efficient mechanism for type checking and inference for programs using Hindley/Milner types. If we step back from the particular solving mechanisms used for Hindley/Milner types, and understand type operations in ter…
  • Cited by 2 (1 self) – Add To MetaCart
  • The Chameleon System  
  • by Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny — 2004 — Source Code: Optimal Union-Find ufd rank make @ make(X) <=> root(X,0). findNode @ X ~> PX , find(X,R) <=> find(PX,R), X ~> R. findRoot @ root(X,_) \ find(X,R) <=> R=X. linkEq @ link(X,X) <=> true. linkLeft @ link(X,Y), root(X,RX) root(Y,RY) <=> RX >= RY |
  • …We give an overview of the major features of the Chameleon programming language, as well as use of the system, from a Haskell programmer's point of view. Chameleon supports typeclass overloading a la Haskell. The novelty of Chameleon is to allow the programmer to specify almost arbitrary conditions …
  • Cited by 2 (1 self) – Add To MetaCart
  • A theory of overloading  
  • by Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny — 2002 — ACM Transactions on Programming Languages and Systems (TOPLAS
  • …Abstract We introduce a novel approach for debugging ill-typed programs in the Hindley/Milner system. We map the typing problem for a program to a system of constraints each attached to program code that generates the constraints. We use reasoning about constraint satisfiability and implication to f…
  • Cited by 45 (15 self) – Add To MetaCart
  • A framework for extended algebraic data types  
  • by Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey — 2006 — In Proc. of FLOPS’06, volume 3945 of LNCS
  • …Abstract. There are a number of extended forms of algebraic data types such as type classes with existential types and generalized algebraic data types. Such extensions are highly useful but their interaction has not been studied formally so far. Here, we present a unifying framework for these exten…
  • Cited by 18 (9 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB