SULZMANN, MARTIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || A Functional Perspective on Machine Learning via Programmable Induction and Abduction

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 309 KB

english, 2018

2

[ACM Press the 2007 ACM SIGPLAN international workshop - Nice, Nice, France (2007.01.16-2007.01.16)] Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '07 - System F with type equality coercions

Sulzmann, Martin, Chakravarty, Manuel M. T., Jones, Simon Peyton, Donnelly, Kevin

Year:

2007

Language:

english

File:

PDF, 309 KB

english, 2007

3

SPIE Proceedings [SPIE Photonics East (ISAM, VVDC, IEMB) - Boston, MA (Sunday 1 November 1998)] Microrobotics and Micromanipulation - Laser-machined components for microanalytical and chemical separation devices

Matson, Dean W., Martin, Peter M., Bennett, Wendy D., Sulzmann, Armin, Nelson, Bradley J.

Year:

1998

Language:

english

File:

PDF, 3.77 MB

english, 1998

4

Concurrent goal-based execution of Constraint Handling Rules

LAM, EDMUND S. L., SULZMANN, MARTIN

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 1.64 MB

english, 2011

5

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 446 KB

english, 2018

6

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || Model Checking Parameterized by the Semantics in Maude

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

7

Type inference with constrained types

Odersky, Martin, Sulzmann, Martin, Wehr, Martin

Journal:

Theory and Practice of Object Systems

Year:

1999

Language:

english

File:

PDF, 219 KB

english, 1999

8

A Type-Safe Embedding of XDuce into ML

Martin Sulzmann, Kenny Zhuo Ming Lu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 410 KB

english, 2006

9

Language-Based Program Verification via Expressive Types

Martin Sulzmann, Răzvan Voicu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 328 KB

english, 2007

10

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Complete and decidable type inference for GADTs

Schrijvers, Tom, Peyton Jones, Simon, Sulzmann, Martin, Vytiniotis, Dimitrios

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

11

OutsideIn(X) Modular type inference with local assumptions

VYTINIOTIS, DIMITRIOS, PEYTON JONES, SIMON, SCHRIJVERS, TOM, SULZMANN, MARTIN

Journal:

Journal of Functional Programming

Year:

2011

Language:

english

File:

PDF, 1.36 MB

english, 2011

12

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Traceability and evidence of correctness of EDSL abstractions

Sulzmann, Martin, Nicklisch-Franken, Jürgen, Zechner, Axel

Year:

2013

Language:

english

File:

PDF, 358 KB

english, 2013

13

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - Improving type error diagnosis

Stuckey, Peter J., Sulzmann, Martin, Wazny, Jeremy

Year:

2004

Language:

english

File:

PDF, 146 KB

english, 2004

14

[ACM Press the 6th workshop - Vancouver, British Columbia, Canada (2007.03.13-2007.03.13)] Proceedings of the 6th workshop on Foundations of aspect-oriented languages - FOAL '07 - Aspect-oriented programming with type classes

Sulzmann, Martin, Wang, Meng

Year:

2007

Language:

english

File:

PDF, 457 KB

english, 2007

15

[ACM Press the 2007 workshop - Nice, France (2007.01.16-2007.01.16)] Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07 - A concurrent constraint handling rules implementation in Haskell with software transactional memory

Lam, Edmund S. L., Sulzmann, Martin

Year:

2007

Language:

english

File:

PDF, 119 KB

english, 2007

16

A theory of overloading

Stuckey, Peter J., Sulzmann, Martin

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 474 KB

english, 2005

17

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Parallel execution of multi-set constraint rewrite rules

Sulzmann, Martin, Lam, Edmund S. L.

Year:

2008

Language:

english

File:

PDF, 459 KB

english, 2008

18

Type checking with open type functions

Schrijvers, Tom, Peyton Jones, Simon, Chakravarty, Manuel, Sulzmann, Martin

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

19

[ACM Press the 14th symposium - Leuven, Belgium (2012.09.19-2012.09.21)] Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 - Regular expression sub-matching using partial derivatives

Sulzmann, Martin, Lu, Kenny Zhuo Ming

Year:

2012

Language:

english

File:

PDF, 603 KB

english, 2012

20

[ACM Press the 8th ACM SIGPLAN symposium - Venice, Italy (2006.07.10-2006.07.12)] Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 - Extracting programs from type class proofs

Sulzmann, Martin

Year:

2006

Language:

english

File:

PDF, 245 KB

english, 2006

21

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Type checking with open type functions

Schrijvers, Tom, Peyton Jones, Simon, Chakravarty, Manuel, Sulzmann, Martin

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

22

[ACM Press the 2006 ACM SIGPLAN workshop - Portland, Oregon, USA (2006.09.16-2006.09.16)] Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06 - Modular generic programming with extensible superclasses

Sulzmann, Martin, Wang, Meng

Year:

2006

Language:

english

File:

PDF, 200 KB

english, 2006

23

HM(X) type inference is CLP(X) solving

SULZMANN, MARTIN, STUCKEY, PETER J.

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 404 KB

english, 2008

24

Understanding functional dependencies via constraint handling rules

SULZMANN, MARTIN, DUCK, GREGORY J., PEYTON-JONES, SIMON, STUCKEY, PETER J.

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 300 KB

english, 2007

25

On Termination, Confluence and Consistent CHR-based Type Inference

DUCK, GREGORY J., HAEMMERLÉ, RÉMY, SULZMANN, MARTIN

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 154 KB

english, 2014

26

Complete and decidable type inference for GADTs

Schrijvers, Tom, Peyton Jones, Simon, Sulzmann, Martin, Vytiniotis, Dimitrios

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

27

Derivatives and partial derivatives for regular shuffle expressions

Sulzmann, Martin, Thiemann, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 472 KB

english, 2016

28

[ACM Press the 4th workshop - Savannah, GA, USA (2009.01.20-2009.01.20)] Proceedings of the 4th workshop on Declarative aspects of multicore programming - DAMP '09 - Comparing the performance of concurrent linked-list implementations in Haskell

Sulzmann, Martin, Lam, Edmund S.L., Marlow, Simon

Year:

2008

Language:

english

File:

PDF, 626 KB

english, 2008

29

Derivative-Based Diagnosis of Regular Expression Ambiguity

Sulzmann, Martin, Lu, Kenny Zhuo Ming

Journal:

International Journal of Foundations of Computer Science

Year:

2017

Language:

english

File:

PDF, 418 KB

english, 2017

30

Comparing the performance of concurrent linked-list implementations in Haskell

Sulzmann, Martin, Lam, Edmund S.L., Marlow, Simon

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 430 KB

english, 2009

31

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || Functional Pearl: Folding Polynomials of Polynomials

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 299 KB

english, 2018

32

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 ||

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 8.95 MB

english, 2018

33

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 381 KB

english, 2018

34

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || $$\lambda $$λ to SKI, Semantically

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 737 KB

english, 2018

35

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 || Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic

Gallagher, John P., Sulzmann, Martin

Year:

2018

Language:

english

File:

PDF, 782 KB

english, 2018