The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tom Schrijvers" ( http://dblp.L3S.de/Authors/Tom_Schrijvers )

URL (Homepage):  http://www.cs.kuleuven.ac.be/~toms/  Author page on DBLP  Author page in RDF  Community of Tom Schrijvers in ASPL-2

Publication years (Num. hits)
2002-2006 (21) 2007-2008 (19) 2009-2010 (15) 2011-2013 (23) 2014-2015 (16) 2016-2018 (21) 2019 (13)
Publication types (Num. hits)
article(43) book(1) incollection(3) inproceedings(77) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(17) ICLP(14) TPLP(11) PPDP(8) ICFP(5) LOPSTR(5) Haskell(4) J. Funct. Program.(4) Constraint Handling Rules(3) ESOP(3) FLOPS(3) IFL(3) PADL(3) Sci. Comput. Program.(3) Haskell@ICFP(2) MPC(2) More (+10 of total 47)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 21 keywords

Results
Found 129 publication records. Showing 128 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers Coherence of type class resolution. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers A mechanical formalization of higher-ranked polymorphic type inference. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers Bidirectional Type Class Instances (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Paul Tarau, Jan Wielemaker, Tom Schrijvers Lazy Stream Programming in Prolog. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers Coherence of Type Class Resolution. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Dörthe Arndt, Tom Schrijvers, Jos De Roo, Ruben Verborgh Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic. Search on Bibsonomy J. Web Semant. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian COCHIS: Stable and coherent implicits. Search on Bibsonomy J. Funct. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruben P. Pieters, Tom Schrijvers Faster Coroutine Pipelines: A Reconstruction. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu Handling Local State with Global State. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers Distributive Disjoint Polymorphism for Compositional Programming. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai CONDEnSe: Contract Based Design Synthesis. Search on Bibsonomy MODELS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff Monad transformers and modular algebraic effects: what binds them together. Search on Bibsonomy Haskell@ICFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers Bidirectional type class instances. Search on Bibsonomy Haskell@ICFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers The Essence of Nested Composition (Artifact). Search on Bibsonomy DARTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers A unified view of monadic and applicative non-determinism. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff Syntax and Semantics for Operations with Scopes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers Explicit Effect Subtyping. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers The Essence of Nested Composition. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elena Bellodi, Tom Schrijvers (eds.) Proceedings of the 5th International Workshop on Probabilistic Logic Programming, PLP 2018, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 1, 2018. Search on Bibsonomy PLP@ILP The full citation details ... 2018 DBLP  BibTeX  RDF
1Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers Formalization of a Polymorphic Subtyping Algorithm. Search on Bibsonomy ITP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas Handlers for Non-Monadic Computations. Search on Bibsonomy IFL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Vandenbroucke, Tom Schrijvers From PRISM to ProbLog and Back Again. Search on Bibsonomy PLP@ILP The full citation details ... 2017 DBLP  BibTeX  RDF
1Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler Quantified class constraints. Search on Bibsonomy Haskell The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Georgios Karachalias, Tom Schrijvers Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Search on Bibsonomy Haskell The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amr Hany Saleh, Tom Schrijvers Efficient Algebraic Effect Handlers for Prolog. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers Tabling with Sound Answer Subsumption. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Amr Hany Saleh, Tom Schrijvers Efficient algebraic effect handlers for Prolog. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers Tabling with Sound Answer Subsumption. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers (eds.) Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016 Search on Bibsonomy IFL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Edward Robbins, Andy King, Tom Schrijvers From MinX to MinC: semantics-driven decompilation of recursive datatypes. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steven Keuchel, Stephanie Weirich, Tom Schrijvers Needle & Knot: Binder Boilerplate Tied Up. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond Proof Relevant Corecursive Resolution. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke Tabling as a Library with Delimited Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Paolo Torrini, Tom Schrijvers Reasoning about modular datatypes with Mendler induction. Search on Bibsonomy FICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond Proof Relevant Corecursive Resolution. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Benoit Desouter, Tom Schrijvers, Marko van Dooren Tabling as a Library with Delimited Control. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Tom Schrijvers Preface for SCP special issue on Principles and Practice of Declarative Programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benoit Desouter, Marko van Dooren, Tom Schrijvers Tabling as a library with delimited control. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens Fixing non-determinism. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers The Future of Programming is Functional. Search on Bibsonomy SoICT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Wu, Tom Schrijvers Fusion for Free - Efficient Algebraic Effect Handlers. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers From monoids to near-semirings: the essence of MonadPlus and alternative. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Markus Triska, Benoit Desouter Tor: Modular search with hookable disjunction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Tom Schrijvers Introduction to the 30th International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers Partial Type Signatures for Haskell. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter Compositional reasoning about aspect interference. Search on Bibsonomy MODULARITY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolas Wu, Tom Schrijvers, Ralf Hinze Effect handlers in scope. Search on Bibsonomy Haskell The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benoit Desouter, Tom Schrijvers Integrating Datalog and Constraint Solving. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey Search combinators. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, Benoit Desouter, Jan Wielemaker Delimited continuations for prolog. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers Meta-theory à la carte. Search on Bibsonomy POPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Steven Keuchel, Tom Schrijvers Generic datatypes à la carte. Search on Bibsonomy WGP@ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira Modular monadic meta-theory. Search on Bibsonomy ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack Automated Design of Search with Composability. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
1Ricardo Peña, Tom Schrijvers (eds.) 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013 Search on Bibsonomy PPDP The full citation details ... 2013 DBLP  BibTeX  RDF
1Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers Understanding idiomatic traversals backwards and forwards. Search on Bibsonomy Haskell The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey Search Combinators Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi Extended Report: The Implicit Calculus Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager SWI-Prolog. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook MRI: Modular reasoning about interference in incremental programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi The implicit calculus: a new foundation for generic programming. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Peter Thiemann (eds.) Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Markus Triska, Bart Demoen Tor: extensible search with hookable disjunction. Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey An Introduction to Search Combinators. Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers Approximating Constraint Propagation in Datalog Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann OutsideIn(X) Modular type inference with local assumptions. Search on Bibsonomy J. Funct. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey Memoizing a Monadic Mixin DSL. Search on Bibsonomy WFLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bruno C. d. S. Oliveira Monads, zippers and views: virtualizing the monad stack. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey Search Combinators. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager SWI-Prolog Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck As time goes by: Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pieter Wuille, Tom Schrijvers Parameterized Models for On-Line and Off-Line Use. Search on Bibsonomy WFLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dominic A. Orchard, Tom Schrijvers Haskell Type Constraints Unleashed. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Alan Mycroft Strictness Meets Data Flow. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers Let should not be generalized. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF type families, haskell, type inference, type classes, generalized algebraic data types
1Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook EffectiveAdvice: disciplined advice with explicit effects. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF AOP, interference, monads, parametricity, mixins
1Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen The computational power and complexity of constraint handling rules. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constant factors, complexity, Constraint Handling Rules
1Tom Schrijvers, Peter J. Stuckey, Philip Wadler Monadic constraint programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier Type invariants for Haskell. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type families, type functions, haskell, type checking
1Beata Sarna-Starosta, Tom Schrijvers Attributed Data for CHR Indexing. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF term representation, attributed variables, indexing, program transformation, Constraint Handling Rules
1Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis Complete and decidable type inference for GADTs. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Haskell, type inference, GADTs
1François Degrave, Tom Schrijvers, Wim Vanhoof Towards a Framework for Constraint-Based Test Case Generation. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe A Transformational Approach for Proving Properties of the CHR Constraint Store. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexander Serebrenik, Tom Schrijvers, Bart Demoen Improving Prolog programs: Refactoring for Prolog. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen, David Scott Warren TCHR: a framework for tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Leslie De Koninck, Tom Schrijvers, Bart Demoen A Flexible Search Framework for CHR. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jon Sneyers, Tom Schrijvers, Bart Demoen Guard Reasoning in the Refined Operational Semantics of CHR. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen CHR for Imperative Host Languages. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Thom W. Frühwirth (eds.) Constraint Handling Rules, Current Research Topics Search on Bibsonomy 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Bart Demoen Uniting the Prolog Community. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen Towards Typed Prolog. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Martin Sulzmann Transactions in Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann Type checking with open type functions. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type families, type functions, Haskell, type checking
1Tom Schrijvers, Martin Sulzmann Confluence for Functional Dependencies. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 128 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license