×

zbMATH — the first resource for mathematics

Sulzmann, Martin

Compute Distance To:
Author ID: sulzmann.martin Recent zbMATH articles by "Sulzmann, Martin"
Published as: Sulzmann, Martin
Documents Indexed: 35 Publications since 1996, including 1 Book

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 72 times in 55 Documents Cited by Year
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Type checking with open type functions. Zbl 1323.68156
Schrijvers, Tom; Peyton Jones, Simon; Chakravarty, Manuel; Sulzmann, Martin
7
2008
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
OutsideIn(X): modular type inference with local assumptions. Zbl 1262.68034
Vytiniotis, Dimitrios; Jones, Simon Peyton; Schrijvers, Tom; Sulzmann, Martin
6
2011
POSIX regular expression parsing with derivatives. Zbl 1416.68109
Sulzmann, Martin; Lu, Kenny Zhuo Ming
5
2014
Complete and decidable type inference for GADTs. Zbl 1302.68190
Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios
5
2009
Derivatives for regular shuffle expressions. Zbl 1423.68266
Sulzmann, Martin; Thiemann, Peter
4
2015
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
4
2006
A general type inference framework for Hindley/Milner style systems. Zbl 0977.68519
Sulzmann, Martin
3
2001
\(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021
Sulzmann, Martin; Stuckey, Peter J.
3
2008
Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367
Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J.
3
2006
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
Forkable regular expressions. Zbl 1443.68097
Sulzmann, Martin; Thiemann, Peter
2
2016
Derivative-based diagnosis of regular expression ambiguity. Zbl 1379.68231
Sulzmann, Martin; Lu, Kenny Zhuo Ming
2
2016
The tableau-based theorem prover \(_3\mkern-4mu T^{\mkern-5mu A}\mkern-5mu P\) Version 4.0. Zbl 1412.68207
Beckert, Bernhard; Hähnle, Reiner; Oel, Peter; Sulzmann, Martin
1
1996
Derivative-based diagnosis of regular expression ambiguity. Zbl 1380.68260
Sulzmann, Martin; Lu, Kenny Zhuo Ming
1
2017
Type processing by constraint reasoning. Zbl 1168.68366
Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy
1
2006
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004
Transactions in constraint handling rules. Zbl 1185.68182
Schrijvers, Tom; Sulzmann, Martin
1
2008
Constructive finite trace analysis with linear temporal logic. Zbl 1354.68180
Sulzmann, Martin; Zechner, Axel
1
2012
Concurrent goal-based execution of constraint handling rules. Zbl 1242.68051
Lam, Edmund S. L.; Sulzmann, Martin
1
2011
Effective strictness analysis with HORN constraints. Zbl 0997.68512
Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin
1
2001
An implementation of subtyping among regular expression types. Zbl 1116.68396
Lu, Kenny Zhuo Ming; Sulzmann, Martin
1
2004
Derivative-based diagnosis of regular expression ambiguity. Zbl 1380.68260
Sulzmann, Martin; Lu, Kenny Zhuo Ming
1
2017
Forkable regular expressions. Zbl 1443.68097
Sulzmann, Martin; Thiemann, Peter
2
2016
Derivative-based diagnosis of regular expression ambiguity. Zbl 1379.68231
Sulzmann, Martin; Lu, Kenny Zhuo Ming
2
2016
Derivatives for regular shuffle expressions. Zbl 1423.68266
Sulzmann, Martin; Thiemann, Peter
4
2015
POSIX regular expression parsing with derivatives. Zbl 1416.68109
Sulzmann, Martin; Lu, Kenny Zhuo Ming
5
2014
Constructive finite trace analysis with linear temporal logic. Zbl 1354.68180
Sulzmann, Martin; Zechner, Axel
1
2012
OutsideIn(X): modular type inference with local assumptions. Zbl 1262.68034
Vytiniotis, Dimitrios; Jones, Simon Peyton; Schrijvers, Tom; Sulzmann, Martin
6
2011
Concurrent goal-based execution of constraint handling rules. Zbl 1242.68051
Lam, Edmund S. L.; Sulzmann, Martin
1
2011
Complete and decidable type inference for GADTs. Zbl 1302.68190
Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios
5
2009
Type checking with open type functions. Zbl 1323.68156
Schrijvers, Tom; Peyton Jones, Simon; Chakravarty, Manuel; Sulzmann, Martin
7
2008
\(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. Zbl 1142.68021
Sulzmann, Martin; Stuckey, Peter J.
3
2008
Transactions in constraint handling rules. Zbl 1185.68182
Schrijvers, Tom; Sulzmann, Martin
1
2008
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
A framework for extended algebraic data types. Zbl 1185.68202
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J.
4
2006
Principal type inference for GHC-style multi-parameter type classes. Zbl 1168.68367
Sulzmann, Martin; Schrijvers, Tom; Stuckey, Peter J.
3
2006
Type processing by constraint reasoning. Zbl 1168.68366
Stuckey, Peter J.; Sulzmann, Martin; Wazny, Jeremy
1
2006
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004
An implementation of subtyping among regular expression types. Zbl 1116.68396
Lu, Kenny Zhuo Ming; Sulzmann, Martin
1
2004
Resource usage verification. Zbl 1254.68082
Marriott, Kim; Stuckey, Peter J.; Sulzmann, Martin
3
2003
A general type inference framework for Hindley/Milner style systems. Zbl 0977.68519
Sulzmann, Martin
3
2001
Effective strictness analysis with HORN constraints. Zbl 0997.68512
Glynn, Kevin; Stuckey, Peter J.; Sulzmann, Martin
1
2001
The tableau-based theorem prover \(_3\mkern-4mu T^{\mkern-5mu A}\mkern-5mu P\) Version 4.0. Zbl 1412.68207
Beckert, Bernhard; Hähnle, Reiner; Oel, Peter; Sulzmann, Martin
1
1996
all top 5

Cited by 113 Authors

8 Sulzmann, Martin
6 Schrijvers, Tom
4 Thiemann, Peter J.
3 Weirich, Stephanie
2 Ancona, Davide
2 Cunha, Alcino
2 De Koninck, Leslie
2 Eisenberg, Richard A.
2 Frühwirth, Thom
2 Haemmerlé, Rémy
2 Hage, Jurriaan
2 Holdermans, Stefan
2 Komendantskaya, Ekaterina
2 Lagorio, Giovanni
2 Lu, Kenny Zhuo Ming
2 Vytiniotis, Dimitrios
1 Achten, Peter
1 Aguilera, Gabriel
1 Ahmed, Hamidhasan G.
1 Alves, Sandra
1 Ausaf, Fahad
1 Basold, Henning
1 Berglund, Martin
1 Bernardy, Jean-Philippe
1 Bester, Willem
1 Blanqui, Frédéric
1 Borsotti, Angelo
1 Brady, Edwin C.
1 Breitner, Joachim
1 Breveglieri, Luca
1 Broda, Sabine
1 Christiansen, Henning
1 Cordero, Pablo
1 Corradi, Andrea
1 Crespi Reghizzi, Stefano
1 Dagand, Pierre-Evariste
1 Damiani, Ferruccio
1 Devries, Edsko
1 Dijkstra, Atze
1 Duck, Gregory J.
1 Dyckhoff, Roy
1 Eo, Hyunjun
1 Farka, František
1 Florido, Mário
1 Fortes, Inmaculada
1 Fu, Peng
1 Guillemette, Louis-Julien
1 Hammond, Kevin
1 Heeren, Bastiaan
1 Horstmeyer, Thomas
1 Hughes, Arthur
1 Jansson, Patrik
1 Jeuring, Johan
1 Jones, Simon Peyton
1 Kamareddine, Fairouz D.
1 Karachalias, Georgios
1 Kirkeby, Maja H.
1 Komendantskya, Ekaterina
1 Koopman, Pieter
1 Lee, Oukseh
1 Loogen, Rita
1 López-Fraguas, Francisco Javier
1 Machiavelo, António
1 Magalhães, José Pedro
1 Marntirosian, Koar
1 Martin-Martin, Enrique
1 Mazières, David
1 Middelkoop, Arie
1 Mitchell, John C.
1 Monnier, Stefan
1 Mora, Angel
1 Morazán, Marco T.
1 Moreira, Nelma
1 Morzenti, Angelo
1 Olarte, Carlos
1 Oliveira, Bruno C.d. S.
1 Pacheco, Hugo
1 Petrukhin, Yaroslav Igorevich
1 Pirie, John
1 Pond, Andrew
1 Pretnar, Matija
1 Rahli, Vincent
1 Raiser, Frank
1 Reis, Rogério
1 Rodríguez-Hortalá, Juan
1 Rodriguez Yakushev, Alexey
1 Roşu, Grigore
1 Rozplokhas, Dmitry
1 Rueda, Camilo
1 Russo, Alejandro
1 Saleh, Amr Hany
1 Schupp, Sibylle
1 Serrano, Alejandro
1 Shangin, Vasily
1 Skalka, Christian
1 Sneyers, Jon
1 Stadtmüller, Kai
1 Stefan, Deian
1 Swierstra, S. Doaitse
1 Urban, Christian
...and 13 more Authors

Citations by Year